0/(-2))/3 + 4 + 0. Suppose -k - v*b = 46, -48 - 54 = 3*k + 3*b. Let w = k - -30. Is w != -1/4?
True
Let k be 84/34 - 2*1. Let o = -31095 + 31095. Which is bigger: k or o?
k
Let f be (1 + 117/12)/((-3)/12). Let b = 80 + f. Suppose -y + 9 = -b. Is 46 < y?
False
Suppose 319*p - 762837 = 8*p + 209038. Are 3125 and p equal?
True
Suppose -3*b + k = 41, -10*b + 5*b + 5*k = 85. Let v(q) = q + 23. Let p(a) = a + 23. Let u(f) = 6*p(f) - 7*v(f). Let d be u(b). Which is smaller: d or -0.2?
d
Let h be 88/220 + (-16)/190. Is h < 0?
False
Let k be (2 - (-1)/(-1))/3. Let y = 5.061 + 23.929. Let x = y - 1.99. Which is bigger: x or k?
x
Let d = 27674 - 27674. Let r(c) = -c**3 + 9*c**2 + c - 9. Let k be r(9). Let f be 172/84 + k + -2. Is f <= d?
False
Let g = 171.045 - 242. Let h = g - 0.045. Which is bigger: h or 1?
1
Let b = -0.34549 + 0.43579. Is b != 0.6?
True
Let r be 1/(3/((-3)/1)). Let w be -5 - r - (-249)/36. Do w and 0.1 have the same value?
False
Let p = 2/3587 + -2534/3587. Let j = -38 + 41. Let x be j - -1 - (-18)/(-6). Which is bigger: p or x?
x
Let g = -1384 + -11321. Is -12704 at most g?
False
Let c = 0.24428 + -3.24428. Suppose 2*i = i + 5. Let n(p) = 2*p - 5. Let h be n(i). Which is greater: h or c?
h
Suppose -5*z - 49791 = 4*j - 3888, 6*z - 3*j = -55068. Which is greater: z or -9178?
-9178
Let j(k) = 196*k**2 - k - 1. Let a = -39 + 38. Let w be j(a). Suppose 22*n + w = 18*n. Is -2/7 != n?
True
Let m = -0.36078 + -15.61222. Let u = m + 16. Let l = -1.973 - u. Which is greater: l or -4/5?
-4/5
Let o(q) = 2*q**3 + 8*q**2 + q + 5. Let c be o(-4). Let j be 2/((68/102)/(12/(-477))). Is c bigger than j?
True
Let i be (3 + (-42)/9)*36/(-1410). Which is smaller: 1 or i?
i
Let f = -123 - -69. Let m = 78 + f. Let x be (1 - 5) + m + -2. Is 19 at least as big as x?
True
Suppose 0 = 3*j - 2*p + 4, 5*j = -4*p - 25 - 11. Let s be ((-26)/10)/((-2)/j). Is s at most as big as -6?
False
Let v = -2/39 - -23/26. Let h = 31.9 + 35.1. Let u = 67.1 - h. Are u and v nonequal?
True
Let z be (-20)/165*4938/(-12). Let o = z + -148/3. Which is bigger: -0.03 or o?
o
Let u(d) = 2*d - 12. Let n be u(7). Suppose 2*j - 8 = -5*k, -4 = n*j - 3*j - 3*k. Suppose x + 5 = -5*t, 4 = -4*t - j*x - 0. Is 5 > t?
True
Let m(l) = l**2 + 16*l + 3. Let o be m(-16). Suppose 4*b - 169 = -o*u, -3*b + 141 = 3*u + 15. Is 0 smaller than b?
True
Let c(i) = i**3 + 88*i**2 - 21*i - 822. Let z be c(-88). Which is greater: 1028 or z?
1028
Suppose -2*l - 2*x = 20, l - 3 = 2*x + 2. Let p be (-2)/l - 4444/11385. Are 1 and p nonequal?
True
Let i = -43 + 349/8. Let b(x) be the first derivative of -x**4/4 + 31*x**3/3 - 15*x**2 + 2*x - 29. Let q be b(30). Is i less than q?
True
Let s be (13/39 + (-4)/(-42))*2/6. Which is smaller: -510 or s?
-510
Suppose 0 = -33*d + 6*d - 12717. Let i be (15/d)/(-5)*(1 - 0). Is 0 at least i?
False
Let x(v) = -v**3 + 2*v**2 + 4*v - 3. Let k be x(3). Suppose -8*y - y + 9 = k. Let j = -40/9 + 1631/369. Is y >= j?
True
Let i = -11676 - -11699. Let v(w) = 20*w**3 + 9*w**2 + 11*w - 6. Let n(y) = -7*y**3 - 3*y**2 - 4*y + 2. Let p(h) = -8*n(h) - 3*v(h). Let r be p(-2). Is i >= r?
False
Let q = -37 + 42. Suppose -k = q*o - 27, 2*k = -5*o + 28 + 1. Suppose -o*s - 18 = -3, 5*t = -3*s - 4. Which is smaller: -3/38 or t?
-3/38
Let h(k) = -2*k**2 + 19*k - 395. Let l be h(19). Is -755 less than l?
False
Let a = -161.38 + 0.38. Let t = 161.38 + a. Are 1 and t equal?
False
Let j = -29 - -28. Let x be (j/2)/((-3)/(-174)). Let y = x + 27. Is -11/6 greater than or equal to y?
True
Let j = 0.4163 + -29.9163. Which is smaller: -9 or j?
j
Let w = -4624 + 189580/41. Which is bigger: w or 1?
1
Let b = -185.465 + 186. Let f = 0.54 - b. Is -1/4 less than or equal to f?
True
Let y = 89 + -153. Let f be 1423/22 + ((-175)/55 - -3). Let b = y + f. Does 0 = b?
False
Let r = 17568.668 + -17600. Let n = 0.332 + r. Which is smaller: n or 1/2?
n
Suppose 0*o = -j - o + 10, -2*o - 28 = -4*j. Suppose -26*q = -39*q + 39. Suppose j*n - 255 = q*n. Do n and 52 have different values?
True
Suppose -b + 53 = j, 275*b = 280*b - j - 265. Which is greater: b or -132?
b
Let j be 1/(-4) + (-3966)/8. Which is smaller: j or -2486/5?
-2486/5
Let u = -167.698 + 0.698. Does -17 = u?
False
Let z be 12/(-60) + 32/10. Let y be (-260)/(-28) + z/((-63)/6). Suppose 33 + 111 = y*o. Which is greater: 0 or o?
o
Let v = -9183 - -82649/9. Which is greater: v or -801?
v
Let v be (8*(-4)/(-32))/(2/64). Let n = v - 29. Let a(b) = -b**2 + 15*b - 12. Let t be a(14). Is t bigger than n?
False
Suppose q + 4*c + 29 = 0, 5*q + 5*c + 7 = 7*q. Let u be (((-288)/(-40))/q)/(44/(-210)). Which is bigger: 3 or u?
u
Let i(t) = 5*t - 30 + 0 + 11 + 5 - 28. Let p be i(8). Does p = -55/23?
False
Let k = -305.9719 - 0.0281. Let i = k - -306. Which is smaller: 1.26 or i?
i
Let b = 0.0417 - 25.0417. Which is bigger: 35 or b?
35
Let w = 3626341/595896 - -40/10641. Let j = w - 51/8. Let y be 161/92 - 5/4. Is y >= j?
True
Suppose -4 = 5*t + 5*z + 11, -4*t = -4*z + 44. Let g(u) = -19*u - 90. Let p be g(t). Is 45 equal to p?
False
Let c = -21 + 7. Let v = 84 + -83. Let y be v/((-14)/189) - (-1)/2. Which is bigger: c or y?
y
Let x(i) be the second derivative of -i**3/2 + 8*i**2 - 15*i. Let w be x(5). Let a be ((-1380)/(-9))/(-10) + w/3. Which is bigger: -14 or a?
-14
Let q(k) = -k**3 + 8*k**2 - k + 9. Let g be q(8). Let s be 5066/(-8585) - (-3)/5. Which is smaller: g or s?
s
Let o be (2603/(-304) - -10)*16. Let u = -0.4 + 5.4. Which is greater: u or o?
o
Suppose 40*w + 1155 = 35*w + 3*s, 0 = -4*w + 5*s - 937. Let j(p) = -9*p**2 - 3. Let g be j(5). Is w greater than g?
False
Let l(t) = -t + 7. Let b be l(-17). Suppose 3*n + 0*a - 93 = 4*a, -28 = -2*n - 3*a. Is b <= n?
False
Let x = 35.4 - 1.4. Let t = 15 - x. Let o = 23 + t. Is 0.1 > o?
False
Let y be -82*20/3*(-114)/95. Which is bigger: y or 658?
658
Suppose -10 = -x + 6*x + 5*y, -2*y = -4*x - 2. Let c be (((-175)/798)/25)/(-13*15/(-6435)). Is c at least as big as x?
True
Let k = -173383057 + 32075672037/185. Let u = -1046 - k. Which is smaller: 1 or u?
u
Let x be (-92)/(-134) - 2/(((-935)/22)/(-17)). Is 1 less than x?
False
Let h be 1/((-21)/9) - (5 + (-1485)/280). Is 415 at least h?
True
Let y = -5.27 - 20.03. Let k = 39 + y. Let s = k + -2.7. Is s equal to 0.1?
False
Let g = -382.17 + 0.17. Let d = g + 383. Is -320 != d?
True
Let x = 42040/91 - 462. Suppose 5*w + 593 + 132 = 0. Let z = w - -146. Is z smaller than x?
False
Suppose -14 = 21*a - 7*a. Suppose -39 = -3*p + 5*b, 4*p - 3*b - 2*b - 57 = 0. Let m be p/150*2/(-3 + 5). Which is bigger: m or a?
m
Let s = 1408/3 + -575. Do -105 and s have different values?
True
Let c = -94 - -47. Let z be (1 - 3*c/(-3))/1. Let a = z - -40. Which is greater: -48/7 or a?
a
Let c = -2296 - -1927. Is c > -364?
False
Let i be 1/(-67)*462/385. Which is greater: i or 0?
0
Suppose -303*c + 222*c = 119799. Which is smaller: c or -1480?
-1480
Suppose 1281 = 24*o - 4*o + 5201. Are -178 and o nonequal?
True
Let k = 13916 - 13817.73. Let j = k - -0.73. Which is bigger: -2 or j?
j
Let o(w) = 1698*w + 5095. Let g be o(-3). Which is smaller: g or 1911?
g
Suppose 40*y + 43*y = 913. Let h(k) = k**2 + 5. Suppose -n - g + 1 + 0 = 0, 3*n = 4*g - 4. Let c be h(n). Is c not equal to y?
True
Suppose 4*b + m + 343 = 0, -2*b - 20 - 162 = 4*m. Which is greater: -683/8 or b?
b
Let z be (-416)/130 - (-11)/5. Is -179 != z?
True
Suppose 0 = -3*k - 1 - 14. Let u be (-9)/(-6)*1000/(-150). Is u bigger than k?
False
Suppose 3*a - q + 406 = 0, 2*a = 2*q - 5*q - 278. Let z = 138 + a. Is z not equal to 27?
True
Suppose 0 = 22*u - 108 + 328. Let y = -79 - -119. Let q be ((-16)/y)/(0 + 62/u). Which is smaller: q or -1?
-1
Suppose 7 = 13*u - 19. Suppose 9*q = 5*q - 3*b - 28, -2*q - 16 = u*b. Which is smaller: q or -6/11?
q
Suppose 2*f - x = -4, -4*x + 14 - 2 = -4*f. Is -9/1169 less than f?
False
Let b be 2118/96 - 12 - 10. Is b smaller than 403?
True
Let b(v) = 246*v - 3018. Let y be b(31). Do y and 4608 have different values?
False
Let x be (1/(-3) - 1)*51/(-34). Suppose 3*d + 56 - 231 = -x*h, -2*d - 2*h = -120. Which is smaller: -1 or d?
-1
Let v be 6/69 - 4/(-8)*(-4)/1081. Which is bigger: 0 or v?
v
Let s = 24 - 76. Let m = -45 - s. Let g(k) = 8*k - 55. Let i be g(m). Is i bigger than 12/7?
False
Let a(q) = 4*q**3 - 