= 563273554/9229 - 61033. Which is smaller: 1 or r?
r
Let u = -419.7 + -32.3. Let i = u - -451.649. Which is greater: -2/3 or i?
i
Let s be (-4)/((-8)/(-5))*4/(-5). Let r be (-1 + 7)*(-16)/(-174). Which is smaller: s or r?
r
Let n = -1335331/265 + 5039. Suppose 0 = -41082*f + 41100*f - 18. Is n less than f?
True
Suppose 4*v = -2186 - 102. Let x = -573 - v. Do x and -32/21 have the same value?
False
Let d = -11 + 39. Let k = 32.9 - d. Let y = k + -9.9. Is 3 less than y?
False
Let p be (612/20)/(4239/45). Is p at most as big as 1?
True
Let l = -1.31 - -11.91. Let s = l + -3.6. Let q = -0.26 + 0.36. Which is smaller: q or s?
q
Let b = -179.18 - -12.48. Let r = 191 + b. Let d = 24 - r. Is d not equal to 0?
True
Suppose 12 = 2*u - 4. Let c(a) = -a**3 - a**2 + 18*a - 10. Let i be c(-5). Suppose -u*x + x = i. Is -2/13 bigger than x?
False
Let i = -2306 + -917. Which is bigger: i or -3225?
i
Suppose -154*o = -149*o + n - 754, -2*o + 5*n = -334. Which is smaller: o or 150?
150
Let v be 16 + -13 + -1 + -5. Let f be 524*(-3)/(-392) + (v - 1). Which is greater: f or -0.1?
f
Let f be (-12669)/287 + (39 - -4). Let z = -28 + 43. Let n be z/(-9) + 1/(-3). Which is smaller: f or n?
n
Let b be (13 - 3)/(9/45). Let g = b + -60. Does g = 3?
False
Let c = -3 - 19. Let z = -0.9 + 27.9. Let l = z + c. Is l < -1/3?
False
Let v = 0 + 0. Let j be -16 + 2 + -31 + 47. Suppose v = -0*d - j*d + 6*d. Which is bigger: d or 1/4?
1/4
Let v(f) = -f + 1. Let u(x) = -2*x**3 - 7*x**2 + 6*x + 12. Let a(m) = -u(m) + v(m). Let w be a(-4). Is -269 <= w?
True
Let g be 3014998/1513781 - (-6)/15*-5. Let b = 2/6031 + g. Which is greater: -1 or b?
b
Let p = -761447/172 + 4427. Let m = -6355/516 + p. Is -12 greater than m?
True
Suppose -6*k = 8*k - 2*k. Let t be 0 + k - ((7 - -1) + -77). Does 68 = t?
False
Let c be (-12)/(-9 - -5) + -69 + -1. Let p = -73 - c. Let u be (-4)/p - 0/7. Do 0 and u have the same value?
False
Let j be 1 - (3 + -3)/3. Let d = -166 - -38. Let w = d - -3710/29. Which is bigger: w or j?
j
Suppose -5*z - 2*w - 3*w - 15 = 0, -5*w + 5 = 0. Let l be -229 + 8/z + (3 - 3). Let t = 2547/11 + l. Is 2 equal to t?
False
Let b = -345 + 141. Which is smaller: b or -205?
-205
Let k = -3.58 + -3.4. Let y = 7.02 + k. Which is smaller: y or -23/3?
-23/3
Let o = -3131 + 4009. Which is smaller: 876 or o?
876
Let s be ((-3)/(-4))/(4/64). Let m be 2*(-3)/s - 1125/(-2466). Is 1 at most m?
False
Let c = -466 - -457. Let k be (c/(-12))/(15/60). Is 17 <= k?
False
Let p be (38/46 + -1)*(-172 - -173). Which is smaller: 0.5 or p?
p
Let k = 4740623/49296 + 3/16432. Do k and 97 have the same value?
False
Let j = -48.1 - -48.0668. Let k = j - 31.9668. Which is bigger: k or 0.7?
0.7
Suppose 10*j + 1 = 131. Suppose 0 = j*f - 1650 - 2991. Which is smaller: f or 356?
356
Suppose 30 + 9 = 3*t. Let h be (7 - 2)/(t/(-65)). Let s be -22 + -8*(-5)/(-10). Is h greater than or equal to s?
True
Let t = -453 + 452.7. Let i = -0.028 - 0.062. Is t bigger than i?
False
Let a be 3 - 13 - (4206580/84133)/(-5). Are -1 and a equal?
False
Suppose -42 = -0*b - 4*b - 10*b. Is b less than -15?
False
Let k(o) = -6*o - 24. Let j be k(-9). Let l be (42/40)/(j/(-125)). Let y = l + 9/2. Do 0 and y have the same value?
False
Suppose 8*z - 263 = 353. Suppose 109 - 65 = -4*c. Let y = 87 + c. Is y at least z?
False
Suppose -2*n - 5*p = -30, 4*n = -4*p + 24 + 24. Suppose c = -3*a - n, -2*c = -7*c - 2*a + 2. Suppose 4*f - c*m = -14, 3*m - 16 = -0*f + f. Does 1/19 = f?
False
Let t(s) = s**3 - 9*s**2 - 17*s + 2. Let n be t(12). Suppose -5*z = -n - 125. Let l = -58 + z. Is -1 less than l?
True
Suppose q - 2 = 0, -2*u = -7*q + 4*q - 5902. Is u less than or equal to 14769/5?
False
Let m(w) = 2*w + 16. Let l = -8 + 0. Let d be m(l). Suppose -5*x - 178 = -d*y + 4*y, -4*x - 8 = 0. Which is smaller: y or -41?
y
Suppose -5*r - u + 864 = 0, 6*r + 2*u = -168 + 1212. Is 3264/19 > r?
True
Let i(c) = -c**2 + c + 7. Let u be i(3). Let y(s) = -4*s**3 + 2*s**2 - 1. Let v be y(u). Let l be ((-12)/v + 0)/(-1 - -2). Is 5/2 <= l?
True
Let c = -0.02815 + 0.22815. Is c != 1657?
True
Let a = 2367 + -2374. Is 83 bigger than a?
True
Suppose -q - 6 = -2*h, 14*q - 5*h = 19*q - 15. Let c be 3/((-171)/(-2))*-30. Let j = 159/133 + c. Are j and q equal?
False
Let g(i) = -3*i**3 + i**2 + 2*i - 1. Let b be g(3). Let p = -69 - b. Let r be ((-28)/26 + 1)/(p/(-14)). Does -2 = r?
False
Suppose 0 = -5*w - t + 214, -2*t = 3*w + w - 170. Let i = w - 41. Suppose 4*k - 3*y = k, i*k + y = 0. Is 1 at least k?
True
Let b(v) = -v**3 + 3*v**2 + v - 2. Let y be b(3). Suppose -2*a - 2*i + 2 = 0, -8*a + 5*a = i - y. Is a bigger than -14/13?
True
Let b = 0.3 - 0.4. Let y = -1330.3 + 1269. Let j = 60 + y. Which is smaller: j or b?
j
Let f(j) = -78*j**2 + 2*j + 23. Let d be f(-3). Is d > -684?
False
Suppose 0 = 22*r - 4*r - 7*r + 2486. Is r <= -209?
True
Suppose 3*r + 0*r - 3*t - 9 = 0, -t = 5*r - 9. Suppose 4*x - 2*f - 6 = -0, 0 = 2*x + r*f. Let n be (0 + x)*(7 + -12). Which is bigger: -0.1 or n?
-0.1
Suppose -13*v = -10*v + 5*y - 1303, -2*y = -4*v + 1746. Is v at least as big as 437?
False
Let i = 0 - 0. Let n = 37.707 + -37.614. Which is bigger: i or n?
n
Suppose 142 = 43*d - 331. Is d > 0?
True
Suppose -5*v = 5*c + 7015, -2458*c + 4*v = -2456*c + 2830. Is -1405 < c?
False
Suppose i - 2*j = -j - 12058, 2*i - j + 24115 = 0. Which is smaller: i or -12058?
-12058
Let x = -390 + 456. Let d be (20/(-6))/(-3 - (-187)/x). Is 98/5 > d?
False
Let d be (474 - 6)/(-1) - 5. Let j = d + 482. Is 7 < j?
True
Let q = 5059638/47 + -107656. Is -5 less than or equal to q?
True
Suppose 34*l + 201*l + 105 = -130. Which is smaller: -13/382 or l?
l
Let o be 10640/2240 - (-8)/2*-1. Which is bigger: 0.0447 or o?
o
Let l = -2/7 + 13/21. Let y = -97 - 26. Let a = y + 129. Which is greater: a or l?
a
Let v be (-72)/35 - (-1 + -1). Let s be (1 - (-4)/(-5))/((-544)/(-680)). Which is bigger: v or s?
s
Suppose 9*a - 12960 = 43884. Is 6316 > a?
False
Let j be 170/425 - 8754/(-15). Do 585 and j have the same value?
False
Let q = -3613858977/18662 - -193648. Which is greater: 0 or q?
0
Let o be 1 + -2 + 2076/3. Suppose 699*q = o*q + 576. Is q at least -1?
True
Let d be (-28)/6*(-3)/(-2) - 115/(-15). Let j = 0.37 - 4.17. Let h = -1.2 + j. Which is bigger: h or d?
d
Let x = -8 + 6. Suppose 20 = 3*i + 8. Let t be 2/(-6) - (30/(-9) - i). Which is greater: t or x?
t
Suppose -6*z = -4*z - 16. Let h be (-4)/(-32) + 3/z. Which is bigger: h or -21/10?
h
Suppose -9 = -u - 3*p, 9 - 1 = 4*p. Suppose 6*m - k + 31 = m, u*k + 26 = -2*m. Let v = -27 - m. Is -20 > v?
False
Let t(g) = g**3 - 22*g**2 - 21*g - 28. Let x be t(23). Let q be 4*(-1)/x - (-58)/18. Suppose 6*z + 2*c = 8*z - 222, -q*z = 5*c - 309. Which is bigger: z or 109?
109
Let v = -22.5 - -22.6. Suppose g + 4 = 3*g - 2*m, 4*m + 2 = 3*g. Let p be g/18 + 16/(-30). Is v bigger than p?
True
Let s = 247 + 1264. Which is smaller: s or 1510?
1510
Let s(l) = -167*l - 85. Let w be s(-3). Let d = w + -415. Is d less than -3/7?
False
Suppose -2 - 1 = -3*u - 2*w, -5*w - 6 = 3*u. Let p(t) = -3*t**2 + 4*t**3 - 4*t**3 - t**u + 11*t**2 + 10*t. Let i be p(9). Do i and 9 have the same value?
True
Suppose -5*z = -o + 2*o - 1, 3*z = o - 1. Suppose z = -b - 5 + 1. Let n be (-81)/264 + b/(-22). Which is smaller: n or 0?
n
Let s be ((-153)/3 + 0)*(-18)/1161. Let c = 3632 - 3630. Which is smaller: s or c?
s
Let o be (484/(-77))/(570/(-525)). Is o at least 7?
False
Suppose 4*o + 7*m - 4*m - 88 = 0, 2*o + 3*m - 50 = 0. Suppose -o - 8 = 3*j. Let p be (-48)/(-9)*(0 + -3 - j). Which is smaller: p or 34?
p
Let i = 21.97 - -2.03. Let h = -15 - i. Which is greater: h or -3?
-3
Let l be (10/65)/(-1*17). Suppose 4*d - 20 = 0, 0 = -m - 2*d + 4 + 6. Suppose -p - 1 = -5*g, 0 = -m*p + p - g + 1. Is l <= p?
False
Let u be (10/4 + -4)*(-610)/(-15). Let z = u + 59. Let c(q) = q**2 + 4*q + 3. Let f be c(-3). Is z at most as big as f?
True
Let b(s) = -s**3 + 13*s**2 - 39*s + 7. Let v be b(8). Suppose -5 = 2*o - v, 5*k = o + 555. Which is smaller: 115 or k?
k
Let p = 29.3567 + -0.0567. Let t = 34 - p. Let l = t - 7.7. Are l and 0.15 unequal?
True
Let j(y) = 7*y**3 - 3*y**2 + 42*y - 15. Let u(f) = 15*f**3 - 3*f**2 + 83*f - 29. Let v(z) = -13*j(z) + 6*u(z). Let p be v(20). Which is bigger: -538 or p?
-538
Let j 