 t?
False
Let y = 1062012717/3256729 - 66203/203. Let f = 20108/2713371 - -2/10317. Let m = y - f. Which is smaller: m or 1?
m
Suppose -1 = r + 1. Let x be (-39)/(-15) - (-6)/r. Which is smaller: 2/3 or x?
x
Let b be (-2 - -64)/(1 + -1 + 2). Let z = -11 + b. Is z > 20?
False
Let h = 2 + -0.6. Let m = 1.5 - h. Which is bigger: -0.7 or m?
m
Let u be 1 - (-8)/(2112/(-270)). Let k(g) = -g**3 - 5*g**2 + 5*g - 6. Let r be k(-6). Which is smaller: u or r?
u
Let x = -11 - -7. Let o = -197.7 - -198.2. Is o <= x?
False
Suppose 0 = 2*q + 19 + 199. Let p = -111 - q. Do p and -2 have the same value?
True
Let a(k) = -k**2 - 6*k - 4. Let m be a(-6). Let z = m + 0. Is z bigger than -4?
False
Suppose 284 = -4*t + 4*k, -4*t - 74 = 4*k + 202. Let j = t - -76. Which is smaller: 19/3 or j?
j
Let b = 14 + -71. Let t = -55 - b. Is 3/4 at least t?
False
Suppose 4*i + 113 = 105. Is -46/33 != i?
True
Let w = 90 - 88. Let b be -1 + -1 + -1 - w. Is -0.9 != b?
True
Let u(n) = -2*n - 15. Let m be u(-8). Which is bigger: m or 4/157?
m
Let p = -0.0265 - 0.2735. Which is smaller: p or 0.6?
p
Let h = 12667/444 - 343/12. Let z = -12 + 26. Suppose 5*u = 3*b - z, -u = -4*u - b. Are h and u nonequal?
True
Suppose 0 = 2*b + 8, r + 4 = 2*b + 16. Suppose -4*g + 3*g = -f, -r*g - 18 = 5*f. Is g > -0.04?
False
Let w = -37 - -29. Let y be w/3*6/4. Let l be y - -3*2/2. Is -8/5 less than l?
True
Let b = 68 + -334/5. Which is greater: b or 2?
2
Let l = -25/7 + 47/21. Let p(z) = z + 1. Let q be p(-2). Is q equal to l?
False
Let d = 6 + -5.5. Let j = 1.2 - d. Which is greater: -2 or j?
j
Let h be (1991/(-44))/(47/16 + -3). Is 724 at most as big as h?
True
Suppose 2288 = 201*o - 197*o. Which is smaller: 570 or o?
570
Let v(k) = 41*k. Let b be v(-3). Which is bigger: b or -122?
-122
Suppose -6*t - 8 = -14. Which is greater: t or -3/335?
t
Suppose 0 = 5*j + 3*i - 145, -49 = -j + 5*i - 20. Let g = 309 + -281. Which is smaller: g or j?
g
Let t be ((-2)/3)/(18*12/45036). Do t and -142 have the same value?
False
Suppose 5*p - 38 = -18. Let u be -1 - (3/6 + -3). Let k = p + u. Which is greater: 5 or k?
k
Suppose -4*y - 512 = -2*h - 0*y, -2*h - 5*y = -476. Let g = -8182/33 + h. Is g smaller than 0?
False
Let x = -6983/1232 + 17/176. Which is smaller: -6 or x?
-6
Let o = -3833 - -5449. Let b = o - 14524/9. Let f(i) = -i**3 - 3*i**2 + 1. Let r be f(-3). Which is bigger: b or r?
b
Let g = 435 + -436. Is -14/11 <= g?
True
Let i = 20 - 17. Suppose -i*o = -x - 1, -12 - 4 = -4*x + 2*o. Let b be 3/12 - 11/(-4). Which is greater: x or b?
x
Let y be (117/165*-1)/(1/(-175)). Let f = y - 124. Which is smaller: f or -13?
-13
Let j be (-88)/20*10/(-4). Suppose -t - 5*f - 20 = 0, t - 3*f + j = -9. Let s be 86/(-18) - t/(-90). Is s > -5?
False
Let l = 70.994 + 1.006. Is l at least 2/5?
True
Let k be (4 - (-23604)/(-5910))*120/12. Which is smaller: 0 or k?
0
Suppose 3*n + 79 = -11. Let m = n + 41. Which is bigger: m or 12?
12
Let y be 1 - (-2 - -3) - -4551. Let f be (-2)/12 + y/(-1638). Let c = f - -42/13. Which is smaller: c or -1?
-1
Let c(o) = o + 82. Let w be c(0). Which is bigger: 83 or w?
83
Let a = -177.1 - -175. Are a and 12 nonequal?
True
Suppose -3*v + 5 = 4*i + 25, -5*v + 5*i - 10 = 0. Let j(x) = -x**2 - 14*x - 40. Let f be j(-10). Is f > v?
True
Let p = -51/247 + 2/13. Suppose 2*x + 45 = 7*x. Let r be (-5)/3 - (-6)/x. Is r < p?
True
Let s = -245.8 + 248. Let n = 21 - 23.2. Let t = s + n. Is -0.3 at least t?
False
Let r = -2/16955 - -3611431/135640. Let l = r - 697/40. Is l > 9?
True
Let c = 4228 + -93033/22. Which is smaller: -2 or c?
-2
Let n(f) = 0*f + 9 - 13*f - 18 - 2*f**2. Let v be n(-8). Let m = v - -131/4. Which is bigger: m or 1?
1
Let l = -65 + 56. Let n = 25 + l. Is n at least 17?
False
Suppose 4*p + 4 = -0*p. Let n(v) = -4*v - 2. Let i be n(p). Which is smaller: i or 8/5?
8/5
Let t = -56 - -25. Let o = -11 - t. Which is smaller: o or 1/4?
1/4
Suppose 244*n - k = 243*n + 3, -15 = 5*k. Which is smaller: n or 3/1951?
n
Let r = -6/35 + -4/385. Which is smaller: r or 25?
r
Let j = 108 + -103. Suppose -c - a + 1 = -j, -c = 3*a. Which is greater: c or 17/2?
c
Let h = -32 + 29. Let k(t) = -2*t - 8. Let p be k(h). Which is smaller: 1 or p?
p
Suppose 4*f + 105 = -11*f. Which is smaller: 10 or f?
f
Let d be 17/(-5)*(49/21 + -2). Which is greater: -1 or d?
-1
Let u be -14 - 768/(-56) - (-544)/(-7). Which is greater: u or -75?
-75
Let q(f) = -f**3 - 31*f**2 - 129*f + 60. Let m be q(-26). Which is smaller: 37 or m?
m
Let k be (((-49)/(-84))/7)/(2/(-6)). Which is smaller: 4 or k?
k
Let s(m) = m**3 - 4*m**2 - 8*m + 16. Let h be s(5). Is -8 at least as big as h?
False
Suppose 6 = -4*l + z, 3*l - 5*z = 4*l + 12. Let k be (-11)/4 + (-3)/(-4). Is k bigger than l?
False
Let v = 1337 + -1321. Is 25 not equal to v?
True
Suppose 0 = -12*m + 8*m + 132. Suppose 7 = 3*i - 89. Which is bigger: m or i?
m
Suppose 5*r - 15 = 0, 0*i - 27 = -i - 3*r. Let j(z) = -z**3 + 42*z**2 + 88*z + 19. Let s be j(44). Which is smaller: i or s?
i
Suppose -23*f = -25*f + 48. Suppose -f - 68 = -4*m. Is m bigger than 24?
False
Suppose -6 = 3*k, -u = -4*k - 302 - 440. Which is smaller: u or 733?
733
Let r be 2*14/(-360) + (-15)/(-135). Is r equal to 1?
False
Let l be 0/(-5) + (-7835)/(-2). Let h = -55933/14 + l. Let n = 78 + h. Is n at least as big as -2/3?
True
Let f(l) = -47*l + 325. Let a be f(10). Is a equal to -148?
False
Let l = -12 + 14. Suppose 3*f + l + 1 = 0. Let x be -3 - (1 + f + -2). Which is smaller: -3/5 or x?
x
Let p = 27.67 + -28. Which is smaller: -3 or p?
-3
Suppose -10 + 45 = -5*g. Let c be 42/(-49)*g/2. Suppose c*j = -2*k + 35, 4*j + k - 40 = -0*j. Which is bigger: j or 8?
j
Suppose b = 4*q - 8, q - 2*b = -7*b + 23. Let f = -215 - -60. Let w be (-9)/3 - f/30. Which is bigger: q or w?
q
Let d = -195 + 178. Does -3 = d?
False
Let h = -106 + 109. Let n be h - -45 - (0 - -2). Does 46 = n?
True
Let j = -285 - -292. Which is bigger: 123/16 or j?
123/16
Let i = 26.4 + -44.4. Is i <= 1?
True
Suppose -7*l + 76*l - 1260 = 41*l. Suppose -5*s = -s - 180. Is s less than l?
False
Let j = 441 - 531. Which is smaller: -88 or j?
j
Let c be (174/9)/((-4)/6). Suppose 3 - 5 = 2*p. Let u be -27 - (2 + 1/p). Is u at least as big as c?
True
Suppose 0 = 1096*b - 1088*b - 488. Which is bigger: b or 57?
b
Let y be (0 + (-46)/(-36) + -6)*3. Let p = 34 + -49. Is p >= y?
False
Let y = -9 + 18. Let u(d) = d + 3. Let w be u(y). Suppose o = -2*l - 5, -2*o + 5*l - 4 = -w. Which is smaller: 0.15 or o?
o
Let z(l) = -6*l**2 - 2*l - 2. Let u be z(2). Let p(j) = j**2 + 4*j - 63. Let b be p(-8). Is b greater than u?
False
Let y = 2/281 + 536/3653. Suppose -2*u - 5 - 5 = 0, 4*u - 160 = -5*k. Suppose 15 = -k*a + 41*a. Does y = a?
False
Let w = 1016200/11 + -92138. Let t = w + -244. Is 0 at most as big as t?
False
Let w = 565 - 439. Is w != 2?
True
Let y = -15 - -16. Is y < 1/112?
False
Let l = -202 + 569. Do 1 and l have different values?
True
Let i = 35/2 + -18. Let j = -142 + 561/4. Is j less than i?
True
Let l = 1.7 + -0.7. Let p = -0.052 - 11.548. Let c = 12 + p. Which is smaller: c or l?
c
Let p = -424 - -404. Which is smaller: p or -28?
-28
Let t be (72/(-30) + 2)/(2/(-10)). Is -2/35 > t?
False
Let s = -5 + 6. Let l be s/9*-3*3. Let i = 257 + -2317/9. Which is greater: i or l?
i
Let x be (-1 - -3)*(-3)/(-3). Let n = -32 - -33. Which is bigger: n or x?
x
Let k(v) = 3*v - 7. Let d be k(3). Let u be (9/(-6))/(6/d). Which is bigger: u or 13/4?
13/4
Let x = -1.74 + 0.74. Which is bigger: x or 10?
10
Let v(l) = -l**2 + 6*l + 1757. Let j be v(-39). Let y = 2/161 - -2411/322. Which is greater: y or j?
y
Let t be 6*4*(-1)/(-6). Let o(z) = 4*z. Let y be o(t). Let n = y - 28. Is n < -12?
False
Let i = -71 + 122. Let t be 2/3*i/(-374). Let u(o) = o**3 + 6*o**2 + 6*o + 4. Let v be u(-5). Which is smaller: v or t?
v
Let g(i) = -2*i**3 + 8*i**2 + 3. Let o be g(4). Suppose -v - 95 = -3*w, 5*w - 16 = o*v + 145. Which is greater: 30 or w?
w
Suppose 2*f + 95 = 3*u, -4*f - u + 84 - 267 = 0. Is f at most -46?
True
Suppose -5*u - 44 = -9*u. Let g = -10 - -20. Which is smaller: g or u?
g
Let l be 10/(-255)*-3 + 728/(-408). Is 46 smaller than l?
False
Let k = -1024 + 1024.1. Is 0.47 <= k?
False
Let x = -44/9 - -211/45. Suppose 5*g = g. Suppose -5*l = 4*b - 2*b + 5, b + 4*l + 4 