-12*(4/(-14) - o/126). Let w = 11 - r. Are 26 and w unequal?
True
Suppose -4*n + 3*r - 64 = 185, 4*r + 20 = 0. Let k be 12/n - 24/99*24. Let w be (20/5 + k)/14. Which is smaller: 0.02 or w?
w
Let q = 81/2 - 42. Let j(x) = x**3 + 4*x**2 - 4*x + 7. Let o be j(-5). Let h be (-3)/o*2/1. Is q smaller than h?
False
Let n be (10 - 10)/(-2 - (4 + -1)). Let q = -529313/3315850 - -2/35275. Let l = q + 1613/8930. Is l > n?
True
Suppose -17*f = -73 - 12. Let q be f*(45/25 + -5). Which is smaller: -11 or q?
q
Let c(g) = g**3 + 23*g**2 + g + 23. Let f be c(-23). Suppose f = 6*i - 15*i + 18. Suppose -z = z + i. Are -1 and z unequal?
False
Let q be (9 - (-88480)/49) + 4/14. Which is smaller: 1816 or q?
q
Let i(a) = a**2 + 4*a - 2. Let r be i(-7). Let z = 26 - r. Let h be ((-3)/7)/(6/(-80)). Which is greater: h or z?
z
Let q be (-6)/45 - ((-7464418)/353210 + 21). Do q and 1 have the same value?
False
Suppose 43*a + 13342 = 99041. Do a and 1992 have different values?
True
Let b(q) = -q**2 + 18*q - 15. Let j be b(17). Suppose w - j*w = -0*w. Do 15/13 and w have different values?
True
Let r(x) = -x**3 + 12*x**2 + 2*x - 17. Suppose 38 = 7*v - 46. Let z be ((-16)/(-10))/(v/90). Let s be r(z). Which is greater: s or 6?
s
Let c = 177.3 + 12.7. Let v = c + -189.49. Do -1 and v have the same value?
False
Let o = 14119 + -56475/4. Suppose -2*r + 6*r + 24 = 0. Let i be ((-8)/(-12))/((-14)/r). Is o < i?
True
Suppose 0 = -5*i - 3*a + 586, -30*i + 29*i + a + 106 = 0. Which is smaller: 5 or i?
5
Let t = -63 + -9. Let y = 74 + t. Let a = y - 1.9. Which is bigger: -33 or a?
a
Let w be -5*((-16)/30)/(-4). Let q = -1245 - -969. Let o be 2*1*q/3220. Which is smaller: o or w?
w
Suppose 0 = 2*d - 42 - 18. Let c = 35 - d. Suppose -5*l + 0 + c = 0. Which is greater: 1/3 or l?
l
Let l = 520.2 + 3.8. Let i = l + -529. Suppose -2*q + 3*s = 0, 5*q - 5*s = 3*q + 4. Is i at most q?
True
Let m be 2080/(-64)*6516/30. Which is greater: m or -7060?
m
Let u = 2334.737 - 2336. Let d = 0.097 - u. Is d at least as big as -2?
True
Let i be 5/2*32/40. Suppose -9*t = -i*t - 630. Let n = t - 89. Is n at least 3/40?
True
Let u = -2385.4 - -2383.712. Which is smaller: u or -7?
-7
Suppose 3*x - 3*x + 0*x = 9*x. Which is smaller: -2/2705 or x?
-2/2705
Let f = -87 - -86. Let d be (-7)/14*(f + 1/2). Is d smaller than 0.38?
True
Let o = 2.7 + -4.6. Let q = 855.343 - -0.657. Let t = q + -858. Is t greater than o?
False
Suppose -5*j = 75*b - 74*b + 5, -3*j - 4*b = 20. Are 29/38 and j non-equal?
True
Let v = -27127/2 + 13563. Which is smaller: v or -914?
-914
Suppose 11*j - 49480 = 94708. Is 13108 >= j?
True
Suppose 4 = w - 3*w. Let n(q) = 5*q - 55. Let a be n(7). Let p be (-1 - a/16) + 152/(-352). Which is smaller: p or w?
w
Suppose -7*f = 3*f + 110. Let n(z) = z**2 + 9*z - 5. Let j be n(f). Suppose 0 = 19*v - j*v + 2. Is v at least as big as -1/13?
False
Let z = 9/2 - 34. Let i be ((-1125)/(-100))/(-1 - (-5)/8). Let c = i - z. Which is bigger: 1/17 or c?
1/17
Let p = 112.079 - 112. Let w = p - 0.057. Which is greater: -2/7 or w?
w
Let u = 16774 - 16636. Are 163 and u unequal?
True
Let z(b) = b**3 - 13*b**2 + 56*b - 89. Let o be z(8). Which is smaller: 0.02 or o?
0.02
Let p(z) = -31*z**2 - 135*z + 15. Let a be p(9). Which is smaller: a or -3712?
-3712
Suppose -3*k - 2 = 31. Let x be (-85)/2*(k - -13). Let a be (-74)/x + 2/(-5). Does 1 = a?
False
Let y = 5.7 - 9. Let g = 2.3 + y. Let n = 7.9 - 7.9. Which is smaller: n or g?
g
Suppose 10*z + 81 + 219 = 0. Let k = 4/1941 + -298934/9705. Which is smaller: k or z?
k
Let s(y) = -y**2 + 17*y - 14. Let b be s(16). Let k be -2*b/16 + 532/16. Suppose 1 = -34*v + k*v. Is v > -65?
True
Let i = 1590 + -1319. Which is smaller: i or 273?
i
Let j be ((-3408)/60)/((-2)/(-15)). Let g = j + 401. Are 1/3 and g nonequal?
True
Let j = -46489 + 19385923/417. Are j and -1 unequal?
True
Suppose -s = s - 2. Let x be 726/(-334972)*(-1436)/18. Let g = x + 1/993. Is g at least as big as s?
False
Let u be 2/9*2874 + (-7)/(-21). Let b = u + -665. Which is greater: b or -25?
-25
Let c be 1*-114*80/24. Suppose 1524 = -4*u + 2*i, -4*u + 4*i - 1164 - 364 = 0. Do c and u have the same value?
True
Let i be -13 + 198 + (-1 - -7). Let n = 192 - i. Which is smaller: 11 or n?
n
Suppose i = -3*i + 8. Suppose -q + 2*q = i. Let p be 1/(-2) - (-34)/28. Are q and p non-equal?
True
Let q = 13.1 + -53.55. Let h = -1.45 + q. Let a = -42 - h. Is a not equal to -7?
True
Let d be 9/15 + (-12)/(-5). Suppose -d*o + 8*o + 18 = 3*n, 0 = n + 4*o + 11. Let i be (-920)/60*(-1)/(-2). Which is smaller: i or n?
i
Let g = -77.7736 + -0.2264. Is g smaller than -2/13?
True
Let b = -1090.358 + 2.358. Is -0.2 greater than or equal to b?
True
Let g(p) = p**3 + 13*p**2 + 2*p + 26. Suppose -103 + 3 = 4*l. Let m = l - -12. Let q be g(m). Is q greater than or equal to -3/85?
True
Let u = -1/142 + -273/1562. Let q be 4/16 - 10/136. Which is smaller: u or q?
u
Let w = -1175.1971 - -0.1971. Does w = -0.2?
False
Let k = 5/17 + 565/102. Let o(j) be the first derivative of -5*j**2/2 + 106*j - 32. Let t be o(20). Which is bigger: k or t?
t
Let z be -1 + -2 + (-18)/(-5). Let t(q) = -2*q**3 - 10*q**2 + 95*q + 495. Let o be t(-6). Which is greater: z or o?
z
Let j be 757/(-8) - 3/8. Does -98 = j?
False
Let p be 10/35 + 234/112. Suppose 4*r + 16 = 4*k, 0 = -2*r - 10 + 8. Which is smaller: p or k?
p
Let q be (-1)/3 + (-28)/(-21). Suppose 0 = -k + 5*k - 5*w + 81, -4*k - 90 = -2*w. Let p be 7/(-21) - 20/k. Is p > q?
False
Let s = 0.03743 - 2155.03743. Is s at most as big as -0.2?
True
Let n = 473.3 - 475. Let p = 2.37 + n. Which is bigger: p or 0.2?
p
Let f = 0.11 + -1.11. Let b = 1674 - 87047/52. Which is smaller: b or f?
f
Let q = -5298 + 16868831/3184. Is q != -1?
True
Let j = 71 + -10. Suppose -2*c + 1 + j = 0. Let i = 31 - c. Which is smaller: i or 5/4?
i
Let y = -1203 - -1248. Suppose 4*s - y = 2*d + 7, -25 = -5*s. Let a = -7 - -2. Are d and a unequal?
True
Let m be 239 - (5 + -5) - -4. Suppose -17*i + m = -26*i. Let g = i - -163/6. Which is greater: g or 1/15?
g
Let s = 20926 + -21121.06. Let z = s - -195. Which is greater: z or -3/14?
z
Let t be ((-3)/9)/((-3)/36). Suppose -2*h + 7*h - 4 = -t*o, 0 = 2*h - 5*o + 5. Is h at most as big as 3?
True
Let q be (1*(-4)/(-4))/((-1)/5). Let p(i) = 9*i**2 - 6*i + 7. Let a(l) = -13*l**2 + 9*l - 10. Let t(z) = q*a(z) - 7*p(z). Let f be t(4). Is f greater than 20?
True
Let u = 49.49558 + 0.54742. Let p = 50 - u. Which is smaller: p or 0.1?
p
Let u = -4849 + 2239. Let x be (-10)/1*(3 - (-7842)/u). Which is smaller: x or 0?
0
Let h be (-20)/(-7) + -3 + 2395/7. Let t be (-60)/h*5/(25/(-6)). Does 0 = t?
False
Suppose -77*m + 81*m = 576. Let g = m - 125. Which is smaller: 12 or g?
12
Let v be (-3)/(-2) + 2/(-4). Let i be v/9*1/(-7). Suppose 12 + 61 = 140*h - 67. Which is smaller: h or i?
i
Suppose 16*w - 53*w = 259. Let y be (8 - (-48)/(-7))/((-1)/w). Is 57/8 at least y?
False
Let x = 15617029/1395 - 11195. Is 0 greater than x?
False
Let x = 3782809/92 + -41117. Which is bigger: 0 or x?
x
Let g be (-126650)/36356 - (-5)/2. Is -2 less than g?
True
Let l be 1/(-7) + (7 + 1351/(-294))/(-3). Which is bigger: -1 or l?
l
Let w(b) = 2*b. Let m = 3 - 1. Let h be w(m). Suppose -5*u - 3 = -h*p, -2*u + 3 = 2*p - 5*u. Which is smaller: p or -2?
p
Let o(n) = n**2 + 4*n + 6. Let b be o(-3). Suppose -2*s + b - 11 = 0. Let k be ((-36)/(-15))/s - 76/140. Is k at most as big as -2?
False
Let z = 15507 - 2000381/129. Which is smaller: z or -1?
-1
Let x(s) = 181*s + 2059. Let g be x(-10). Which is smaller: 240 or g?
240
Let c(w) = 174*w**3 + 2*w**2 + 2*w - 3. Let j be c(1). Let x = -177 + j. Is 73 equal to x?
False
Suppose -3*n = n + 5*i + 238, -3*i = -6. Let m = n - -112. Let s be 1/(-5)*m/(-420). Is 1 bigger than s?
True
Let u = -24120 + 24385. Is 269 equal to u?
False
Let s = -617/6 + 29119/282. Let p be 20/(-3) + 1/(-3) - (-372 + 366). Which is bigger: p or s?
s
Let m = -1753.6 - -267.6. Which is greater: 8 or m?
8
Let d = 0.09 + -0.06. Let l be 16/((-32)/(-6)) + (-38)/14. Which is smaller: l or d?
d
Let s = -6220/13 + 478. Suppose 61*i + 11 = -10 + 21. Is s at most as big as i?
True
Let g = -94 - -96. Suppose i = -4, b - 10 = -2*b - g*i. Suppose 0 = 4*c - 5*j + b, -c = -5*c - 3*j + 10. Which is bigger: c or -1?
c
S