 than u?
True
Let z(c) = -23*c - 2. Let v be z(1). Which is greater: v or -24?
-24
Let f = 690 + -67. Is f smaller than 621?
False
Let o = -546 - -547. Let y = 1290 - 68368/53. Which is smaller: o or y?
y
Let i = 1770 + -1767. Which is bigger: -27/5 or i?
i
Let n = -67.8664 - 0.1336. Which is greater: n or -0.1?
-0.1
Let z be (-6)/(-18)*(-6)/58. Is z less than 0?
True
Let v = 11 + -6. Suppose -v*f + 22 + 3 = 0. Suppose f*q = q. Is q at least -5/9?
True
Let h = 43 - 173/4. Which is bigger: 614 or h?
614
Let y(r) = -r - 4. Let x be y(-7). Let i = 7 - x. Suppose -2*b = -6*b + i. Which is smaller: 2/9 or b?
2/9
Let f = -539 - -527. Is -23 greater than f?
False
Let z(y) = -y**2 - 12*y + 3. Let t(x) = -2*x + 7. Let s be t(8). Let l be z(s). Let v be ((-4)/l)/(2/(-9)). Which is smaller: v or 0?
0
Let l = -136138912/80959 - -31950/19. Is 1 smaller than l?
False
Let r = 17 + -13. Suppose -4*h - 22 = -0*h + x, 32 = -4*h + r*x. Which is smaller: h or -1/5?
h
Let c = -8326992 - -824335081/99. Let v = c + 375. Is 0 greater than v?
True
Suppose 0 = 5*z + 5*n + 25, -z - 2*n = -3*n - 3. Let i be (-3)/(-3) + 714/(-245). Let f = i + 12/7. Is f < z?
False
Let m = -22.728 - 0.072. Let c = 23 + m. Which is smaller: 1 or c?
c
Let d be 3*5/(-45)*2. Let h = -4 + 7. Suppose -3 = -2*w + 4*l + 5, -w + h*l + 7 = 0. Which is bigger: w or d?
d
Suppose -15 = -0*z - 5*z. Suppose -z*u + 62 = 11. Let h be (396/(-660))/((-12)/5) - (-6)/8. Is h less than u?
True
Let z = 23.116 - -0.884. Let s = -24.128 + 0.028. Let m = z + s. Is 3/17 at most m?
False
Let t be -4*(-1 - (-932)/16). Does t = -235?
False
Let f(o) = 23*o + 30. Let i be f(-4). Which is bigger: -63 or i?
i
Let o be 10/(-6)*126/(-35). Let f be (-1)/o*36/(-45). Is f > -1?
True
Suppose 0 = 3*o + 3, 4*d + 0*o - 3*o = 27. Let j be ((-1)/4)/((-1)/d). Let u = -52 - -51. Which is greater: j or u?
j
Suppose -47*y = -37*y - 10. Let n = -20 + 21. Are n and y equal?
True
Let g = -2.253 - -1.253. Are g and -127/5 equal?
False
Let b = -351 - -587. Are b and 236 unequal?
False
Let u = -147.009 - -147. Which is smaller: u or 1/4?
u
Let c = 51 + -50.77. Let b = c + -0.03. Let z = -2483/12 + 623/3. Which is smaller: z or b?
b
Let r = -0.0144 + 0.1444. Which is greater: -18 or r?
r
Suppose -3*p + 22 = -5*y, 5 = -4*p - 2*y - 9. Let d be 1/(p/3) - (-760)/171. Is d smaller than 2?
True
Let a = -0.51 + -2.19. Let j = a - -4.7. Let t = -123/5 - -25. Which is bigger: j or t?
j
Let y = -33 + 63. Is y greater than 0?
True
Suppose 0 = 7*t - 3*t - 32. Let g = t + -10. Let h = g - 4. Is -4 < h?
False
Let v be 7/70*12/(-29). Are 0 and v non-equal?
True
Let v = -164.92 - -185. Let b = -20 + v. Which is smaller: b or -0.2?
-0.2
Let h = -1.43 - -1.3. Let o = h - -0.15. Let d = o + -5.02. Is 0 at least d?
True
Suppose -10*o = -33*o - 2484. Is -108 >= o?
True
Let i(n) = n**2 - 9*n - 183. Let q be i(20). Which is bigger: 2 or q?
q
Let v be (9 + 1)/(-6 + 2 - -3). Let y be v + 7 + 14/4. Which is bigger: -1.6 or y?
y
Let r be (-1656)/6 - (4 + 0). Is -280 <= r?
True
Let y = 20 - 16. Suppose -i - 2*s + 16 = y*i, 0 = -i - 3*s - 2. Suppose -1 = -i*c - 25. Which is smaller: c or 0.1?
c
Let o be (7/(-21))/((-2)/12). Suppose o = -h + 7. Let x be (-2)/(-5) + 54/15. Is x < h?
True
Let u = 2.6 - 1.6. Let h = -2 - u. Is h greater than -2?
False
Suppose -2*q + 15 = 3. Suppose 5 = -q*l + l. Is -4/15 at most as big as l?
False
Let f = 68 - 63. Let r = -6 + 10. Suppose 39 = 4*j + r*b + b, j + 4*b - 18 = 0. Which is smaller: f or j?
f
Suppose u + 2*u - 84 = 0. Suppose 5*k + 40 = 2*t, -3*t = -3*k - t - u. Let i = k + 8. Is 1 at most i?
True
Let k = -407/17 + 536799/22423. Is k less than or equal to -1?
False
Let h be 41/(-8) - 28/(-224). Which is smaller: -35/6 or h?
-35/6
Suppose 3*p = -p - 16. Let c = 7 + p. Let h be 22 - 21/4*4. Is c smaller than h?
False
Let n = 21 + -23. Let u be (-22)/33 + n/(-3). Let j be (u/2)/(18 + -14). Which is smaller: -2/19 or j?
-2/19
Let l = -2/3 - -41/66. Let u = -13/44 - l. Are u and 0 equal?
False
Let m(k) = -k**3 - 9*k**2 - 9*k - 6. Suppose 5 = -2*a + 2*v - 1, 2*a = 3*v - 1. Let x be m(a). Let q be 2/(-4)*(-2)/(-7)*-5. Is q >= x?
False
Let p = 224 - 218. Which is smaller: -2/27 or p?
-2/27
Let w = -128 + 160. Which is smaller: 4 or w?
4
Suppose -4*i = 5*y + 24, 2*i + 3 = y + 5. Let v be ((-2)/(-6))/(-1)*-3 - 1. Suppose 2*m + v + 4 = 0. Is i < m?
False
Let f = -1298 - -1361. Which is smaller: f or 4?
4
Suppose -8 = -4*o + 8. Suppose 3*s - o*p + p = 0, 4*s + p + 5 = 0. Is s >= 3/34?
False
Let q = -35 - -41. Let i be 7 + -2 - (q - -2). Suppose 4 = -5*y + 4*y. Which is smaller: y or i?
y
Let c = 29.006 + -29. Let t = c - -1.994. Which is greater: -0.6 or t?
t
Let s = 22/21 - 16/21. Let y = -30.9 - -21.37. Let l = y - -9.6. Which is smaller: s or l?
l
Let u = -3.2 - -4.2. Let q = -0.03 + -0.97. Let o = -1.01 - q. Is u at most as big as o?
False
Let h(y) = -57*y + 352. Let j be h(7). Which is greater: j or -46?
-46
Let u be 1*(-1 + -1) - -2. Let o = -13 + 21. Suppose 0 = o*q - 3*q. Is q greater than or equal to u?
True
Let j(t) = -t**3 + 26*t**2 - 104*t - 2. Let w be j(21). Which is smaller: 28 or w?
w
Suppose -43*y + 1799 = 44025. Is -981 smaller than y?
False
Suppose -67 = 2*m + 5*v, -7*m + 2*v - 102 = -5*m. Is -318/7 at least m?
True
Suppose 0 = -5*p - 4*w + 3*w - 208, 2*p - 5*w = -67. Let m = 73 + -113. Which is smaller: m or p?
p
Let u be (136/(-16))/(3 - 93/30). Which is smaller: u or 83?
83
Let k = 33/247 + 1/13. Which is greater: 1 or k?
1
Let l(x) = -x**3 - 34*x**2 + 74*x + 74. Let t be l(-36). Which is smaller: t or 48/61?
48/61
Let h be ((-356)/(-12))/((-42)/18 + 2). Is h < -91?
False
Let o be 24/60 - 124/6. Let j = -62/3 - o. Which is bigger: 0.32 or j?
0.32
Let j be (9 - (-338)/(-39))*(-87 + 0). Which is bigger: j or 5?
5
Let m = 23654/235 + 270/47. Let f = m + -106. Which is bigger: 1 or f?
1
Suppose 29 = i + 2*m, -128 = -3*i - i - 2*m. Suppose 5*b + 47 = -i. Which is bigger: -17 or b?
b
Suppose -2*a = -k - 8, -8*k = -5*a - 3*k + 15. Suppose -a*x + 2 = -18. Let r = -0.586 - -0.686. Which is greater: x or r?
x
Let u be -3*(3 - 5 - -1). Suppose 8*b = u*b + 15. Let i be (56/(-80))/((-4)/10). Which is smaller: i or b?
i
Let d = 37 - 25. Let f = d - 12.16. Let i = f + 0.26. Is i less than -2?
False
Let f = -169/1102 + 15/58. Suppose 0*t - 2 = -t. Suppose 4*l - 8 = -t*r - 0*r, -l + 5*r = 20. Which is bigger: f or l?
f
Let d be 2/8 + (-5)/(-12). Let t = 2.35 - -0.25. Let g = t + -2.5. Is g <= d?
True
Suppose -3*y + 1 = 2*a, 2*y + 3*a = -3*y + 2. Is y smaller than -1/636?
False
Let i = -565 + 565. Does -5/77 = i?
False
Let m be (7/5)/((-2)/(-10)). Suppose -m*a = -6*a. Suppose -1 = -4*y + 3. Is a smaller than y?
True
Let x = 19 - 10. Suppose 0 = -n + x*n - 232. Which is greater: 30 or n?
30
Let f be (-245)/(-1764)*(-6)/(-460). Which is smaller: 0 or f?
0
Suppose 0 = -3*n + 15, 5*p + 5*n = 7*n + 1065. Which is bigger: 214 or p?
p
Let j be (-60)/(-117) - (-4)/(-6). Let l be -3 - (-35)/5 - -4. Suppose -9 = x + l*x. Is x at least j?
False
Let m(j) = -2*j - 26. Let o be m(-12). Let z be 11/o*(3 + -1). Are -11 and z nonequal?
False
Let x(k) = 29*k - 9. Let z be x(-6). Let n be (-4)/z*27/18. Which is greater: -1 or n?
n
Let p = -28 + 30. Suppose 0*i = -p*i. Let c be (-5)/435*(-6 - i). Do 0 and c have different values?
True
Let w = -15.71 + 16. Let x = w - 0.49. Which is smaller: 1/9 or x?
x
Let y be (-150)/16*140/1470. Is y != 0?
True
Let k(u) = 4*u**3 - 24*u**2 - 9*u - 2. Let w be k(6). Which is smaller: -394/7 or w?
-394/7
Let x = -6332 - -1513350/239. Is x at least as big as 1?
False
Suppose -40*t + 5460 = -28*t. Which is smaller: 457 or t?
t
Let z be ((-77)/66 + 1)*-2. Is z greater than 159?
False
Let g = 3/37 + 31/74. Which is smaller: g or 0.18?
0.18
Suppose 24 = 2*t - 0*t. Let k be t/18*(-9)/74. Is k greater than or equal to 0?
False
Suppose 0 = 4*k - 8 - 16. Let z be 1 - (k/(-3) + 4). Which is bigger: -5/7 or z?
-5/7
Let j = -4391/186 + 334/31. Which is smaller: j or -12?
j
Let p(o) = -13*o - 3. Let v be p(10). Are v and -131 nonequal?
True
Let c = -14 + -13. Let n = c - -26. Which is greater: 4/15 or n?
4/15
Let d be 12/(-78) + 1174/26. Let r be 30/d*3/5. Which is bigger: -0.36 or r?
r
Let g(k) = -3*k**2 - 2*k - 5. Let p be g(-9). Le