than j?
True
Let d = -234 + 1081. Suppose 0*y = 4*y + 3*a - d, 0 = 4*y - 4*a - 812. Is 209 less than y?
False
Let j be (-24)/(-42)*(4/(-34) - 12636/1836). Which is smaller: -117/38 or j?
j
Let p = -1630 + 2863. Are p and 1232 nonequal?
True
Let d be (-40)/(-22) - 0 - -2. Let v(h) = h**3 - 11*h**2 + 28*h + 13. Let m = 30 - 25. Let r be v(m). Which is bigger: r or d?
d
Let l = -0.201 - -125.201. Are l and 0.8 non-equal?
True
Let w(f) = -7*f - 36. Let u be w(-5). Let n(z) = -z**3 - 9*z**2 + 8*z. Let a(q) = q + 1. Let p(v) = u*n(v) - 4*a(v). Let o be p(-10). Which is greater: 2 or o?
o
Let h = 0.49 + 0.59. Let t = h + -54.38. Let r = t - 7.7. Which is smaller: 1 or r?
r
Suppose -3*v + 6*b + 314 + 802 = 0, -5*b + 1875 = 5*v. Which is greater: v or 1123/3?
1123/3
Let y = 137.38 + -137.6. Are y and 0.036 equal?
False
Let x = -19.73 - 0.07. Let g = -25.8 - x. Is g >= 2?
False
Let u(b) = 168*b - 5. Let m be u(2). Suppose m = 5*d - 164. Is 98 >= d?
False
Suppose 2*i - 5*o = 196, 94 = 2*i + 4*o - 120. Let y = -102 + i. Which is smaller: y or 3/8?
3/8
Let a(t) = -t**2 - 5*t - 9. Let r be a(-7). Let u = -108 + 220. Let v = 90 - u. Is r smaller than v?
True
Suppose -2*o + 73 = 79, -d + 2*o = -38. Which is bigger: d or 2?
d
Let g(j) = j**3 - 15*j**2 + 29*j - 36. Let k be g(13). Suppose 0 = -5*s + k - 13. Which is bigger: -20 or s?
s
Let y = -87 - 69. Let v = 264 + y. Do -2/5 and v have the same value?
False
Suppose -5*n + 39 = 8*n. Suppose a = 3*i + 258 - 103, 3*i + n*a = -135. Is i at most -50?
True
Let d(y) be the third derivative of y**6/120 - y**5/15 - y**4/24 + y**3/6 - 3*y**2. Let f be d(4). Let t be -18*(1 + (-95)/105). Which is smaller: f or t?
f
Let o(c) = 2*c**3 - 1. Let s be o(1). Let f = -83.32 + 85. Let g = -16.68 + f. Is g at most s?
True
Let l = 2169 + -1038. Is l < 5656/5?
True
Let w = 0.1705 - 0.5805. Let i = 6.1 - 1.1. Let g = -4.9 + i. Is w at most as big as g?
True
Let m = 52 - 49. Suppose 5*l + m*l = 96. Let f be 4 + -6 + 1 + l. Do f and 11 have different values?
False
Let n(h) = 228*h**2 - 19*h + 3. Let q be n(9). Let k be (q/(-106) + -2)*(-6)/(-4). Let f = 262 + k. Is f bigger than 0?
True
Let c(s) = 2*s**2 - 109*s + 464. Let i be c(60). Does 1124 = i?
True
Suppose -293 - 44 - 143 = 5*j. Which is smaller: -70 or j?
j
Suppose 0 = 4*s + 21 + 15. Suppose -2*f = -2*o + 34, 111 = -5*f - 3*o + 98. Is s < f?
True
Let b be -4 + 7104/(-30) - 2/10. Let j = b + 239. Which is bigger: j or 0?
0
Let s = -104 - -105. Let t be s/(-3) - 632/12. Suppose -7*a + 169 - 533 = 0. Is t smaller than a?
True
Let x = -7533 - -7993. Which is greater: x or -7?
x
Let o be ((-12)/56)/((-20)/14). Let k(y) = 6*y + 69. Let n be k(-6). Let i = 34 - n. Which is smaller: i or o?
o
Let a(k) = k - 7. Let t = 18 - 12. Let d = t + -18. Let i be a(d). Which is bigger: -20 or i?
i
Let r = 1669/415580 + 1/1889. Suppose 0 = -s - 3*t - 6, -3*s = -2*s + 4*t + 7. Let a be s/(-6)*-1*(-8)/(-4). Is a greater than r?
False
Suppose -17*w - 135 + 237 = 0. Let o = 26 - 19. Let a be -1 + (o - -3 - 0). Which is smaller: a or w?
w
Let m = -0.01245 + 1.11245. Are m and -0.052 non-equal?
True
Suppose 0 = 1628*w - 1642*w - 13860. Is w less than -992?
False
Let j be 604/(-38) - (-12)/(-114). Let h = j + 24. Suppose -h = -u - 10. Which is bigger: 1 or u?
1
Let c = -393 + 395. Suppose 8*q - 10*q + c*v = 8, 1 = q + 4*v. Is q <= 4?
True
Let v = -2480 - -2479. Let t(i) = -6*i**2 + 37*i - 13. Let c be t(12). Is c less than v?
True
Let x be ((-1134)/26)/3*(-22 + 3224/182). Is 63 equal to x?
False
Suppose -5*j + 11875 = -3*n, 5*j - n = 4*n + 11875. Suppose -j = -8*z - 17*z. Is z <= 96?
True
Let c = 25290 - 25291. Let w be 1 + -10 - (0 + -1). Let r = w - -12. Which is bigger: c or r?
r
Let d be ((-13685)/(-6))/5 - 1. Let o be (5/10)/(11/10054). Let k = o - d. Which is bigger: k or 1?
k
Let p be 6 + (6 - 81) + 7. Let t = p + 0. Which is bigger: -60 or t?
-60
Let q = -105 - -236. Suppose -125 = -2*a - q. Which is smaller: -25/13 or a?
a
Let c = -65.1 - -6.1. Let o = 0.192 + 44.808. Let y = o + c. Which is smaller: y or -0.1?
y
Let n = 207 + -92. Suppose -169*l + 13804 = -50*l. Is n < l?
True
Let b = -156 + 159.82. Let u = 3.9 - b. Let y = 11/2 + -81/14. Do y and u have the same value?
False
Let i be 3 + (-7)/(-21)*-21 - (-364)/113. Is i greater than 0.1?
False
Suppose -191 = 2*d + 933. Are -567 and d non-equal?
True
Let z be (-14)/49*((-570)/21 - 72/(-12)). Which is smaller: z or 5?
5
Suppose j + 11 = 3*z + 5*j, -2*j = 4*z - 8. Suppose 2*k = 0, -5*o - 4*k - 225 = -0*k. Let u be 44/198 - (-1)/o. Which is smaller: z or u?
u
Let v = 1.06 - 1. Let i = -9648 - -9645. Do v and i have the same value?
False
Let g(q) = 14 + 6 - 12 - 9*q. Let c be g(-6). Let b = -59 + c. Which is greater: b or 1?
b
Let y(s) = s**3 - 2*s**2 - 2*s - 3. Let t(c) = 3*c. Let n be t(1). Let m be y(n). Which is bigger: 12/19 or m?
12/19
Let l = -275.2 - -284. Let t = 0.3 + -0.2. Which is greater: t or l?
l
Let d = -4729 + 4729.4. Which is bigger: d or 140?
140
Suppose 517*x + 64068 = 498*x - 29754. Is -4939 != x?
True
Let i = -1699 - -1699. Let r be (-15)/(-20)*(-68)/(-30). Which is smaller: r or i?
i
Let t = 0.029 - -0.971. Let v = -256.7 + 263. Which is bigger: v or t?
v
Let x = 20614399/11010 - 5617/3. Which is greater: -1 or x?
x
Let t(k) = 4*k + 3 + 5*k**3 + 4*k**2 - 7*k**3 + 3*k**3. Let m be t(-3). Let l be 45/(-114) - (-2)/4. Is l > m?
True
Suppose -3*t - z - 11 = 0, -3*z = 2*z + 25. Suppose 12*p = 16*p + 120. Let x = -61/2 - p. Is t <= x?
True
Let i(a) = 20*a - 352. Let q be i(17). Let m be (q/(-14))/((-40)/280). Let w = -1/12 - 29/4. Is m at most w?
False
Let z = 32243 - 32238. Is 167/34 less than z?
True
Let h = -73921 + 73887.009. Let r = -12757 - -12757.009. Let z = r - h. Which is smaller: z or -1?
-1
Let m be 14/(-5) + 2 + (-1074)/(-30). Let d(l) = -l**3 + 37*l**2 - 72*l + 84. Let k be d(m). Which is smaller: k or 12?
12
Let j = 2814 - 2830. Which is smaller: j or 98?
j
Let b be (-2 + 1)*-3 + -5. Let y = -17.6 - -19.2. Which is smaller: y or b?
b
Let r be -104 - (6/(-12))/((36/(-56))/9). Which is smaller: r or -1111/10?
-1111/10
Suppose -1542 - 378 = 10*t. Let k be ((-9)/(-4))/((-36)/t) + -4. Which is smaller: 7 or k?
7
Let j(m) = 9*m + 50. Suppose 9 = -4*z + 25. Let b be (z - (-1 + 2))/(3/(-6)). Let n be j(b). Is n not equal to -6?
True
Let a(u) = 9*u**3 + 8*u**2 - 18*u + 8. Let n be a(5). Suppose -n = 5*z - 6*z. Let t = 9959/8 - z. Which is smaller: t or 3?
t
Suppose 3*u + 12 = 0, -3*z + 5*u - 2*u - 93 = 0. Let v(k) = -k**2 - 2*k + 2. Let t be v(-3). Which is smaller: z or t?
z
Let v be (2/(-5))/((-3)/(-115)). Let m(s) = 8*s**2 + 373*s + 4184. Let k be m(-19). Is v at least k?
False
Let l = 456 + -456. Is l at least -1015?
True
Let u = -9706 - -5508. Which is greater: u or -4199?
u
Let y = -2.962 - -16.962. Which is greater: y or 0.4?
y
Let u(d) = 34*d + 426. Let m be u(15). Is -2/5 > m?
False
Suppose -27 = -4*c + 29. Suppose c = 6*i + i. Suppose 3*b - i = 43. Is b not equal to 17?
True
Suppose -5*k - 14*k - 1188 - 4265 = 0. Is k bigger than -277?
False
Let b(s) = -103*s + 37. Let l be b(8). Let a be 1*-3*-1 + 2360/l. Is a < -1?
False
Let s(k) be the third derivative of -k**5/60 - k**4/2 - 2*k**3/3 + 4*k**2. Let o be s(-12). Let z be (-4)/o - 134/130. Which is greater: z or 0?
0
Suppose -291*n - 1185 = 1434. Which is smaller: n or -397/39?
-397/39
Let z = -718928/9 + 80121. Let a = z + -240. Which is smaller: a or -3?
-3
Let q = -7384 + 7068. Is q > -316?
False
Let y be (-1 + 4)*-1 - -3. Suppose y = -5*v + 34 + 96. Which is smaller: 29 or v?
v
Let r = -37 + 58. Let l be ((-140)/(-210))/(-1 - 509/(-507)). Let f = l - 146. Is f bigger than r?
True
Let x be 4*(-10 - 1290/(-20)). Let t(h) = h**3 - 5*h**2 + 217. Let q be t(0). Which is bigger: x or q?
x
Suppose -98*b - 3*k = -105*b - 2170, 0 = 4*b - 4*k + 1224. Which is smaller: b or -311?
b
Suppose -467 = 5*a - 4*n, 41*a - 36*a + 464 = 3*n. Which is smaller: a or -98?
-98
Let t = 33690384368 - 2323303678894/69. Let a = -19316941 + t. Let r = a + 383. Is r greater than or equal to 1?
False
Let y be 10 + (7 - (-88)/(-12))*-2931. Is y bigger than 988?
False
Let b = 20 + -19.91. Let v = 0.01 + b. Let f = 7 + -20. Is v less than f?
False
Let d(h) be the third derivative of h**5/