Is s at least as big as r?
False
Suppose 25 = -3*g + 10, -4*g - 1224 = -4*b. Which is smaller: b or 302?
b
Let o = -53 - -53.09. Let k(p) = -3*p - 16. Let a be k(-6). Which is smaller: a or o?
o
Let u = 393 - 392.86. Which is smaller: 0 or u?
0
Let z = 43657/231663 - -1/4371. Let o = z + -343/1537. Is -1 bigger than o?
False
Let p = -1 - 4. Let r = p - -4. Let m be (-7)/(-21)*(1 + 0). Which is smaller: r or m?
r
Let z(u) = -u**3 - 9*u**2 + 34*u - 19. Let d be z(-12). Which is bigger: 8 or d?
8
Let k be -9 - -1 - (8 - 10). Let n be (-3)/12*-30*20/k. Which is greater: -24 or n?
-24
Let v(j) = -j**3 - 9*j**2 + 9. Let f be v(-9). Suppose -2*g - 15 = -g + 5*h, g = h + f. Suppose y + 20 = -d, g*d + 2*y = y - 120. Which is smaller: -1 or d?
d
Let l = 937/1260 + 2/315. Let q = -14 - -14. Which is greater: q or l?
l
Suppose 940 + 9460 = 65*p. Is 158 bigger than p?
False
Let b = 193/33 - 189/11. Is b < 5?
True
Let p = -0.061 - -0.161. Let k = p + -0.06. Does k = 2?
False
Let s be (4/(-6))/(22/(-891)). Suppose -3*f + 3 + s = 0. Which is greater: f or 8?
f
Suppose 1 - 23 = 3*j - 2*p, -5*p = -5*j - 45. Suppose 0 = -4*u - 9 + 1. Let z be ((-12)/j)/(6 + u). Which is bigger: 0 or z?
z
Let i = -5 + 1. Let c = i - -2. Let j be -1 + -1 + (-4)/c. Do j and 2/7 have the same value?
False
Let t(i) = i**3 + 11*i**2 - 4*i + 27. Let q be t(-12). Let k = 76 - 144. Is q <= k?
True
Let p be (128/(-160) - 2/35)/((-1)/7). Suppose 0 = -4*k + 3*k + 4. Is p <= k?
False
Let m = 68 + -71. Suppose 5*r - 5*b + 110 + 0 = 0, 0 = -r - 2*b - 28. Is r at most m?
True
Let f = 0 + -2. Let h = f + 4. Let y = -1 + 1. Is y < h?
True
Suppose 2*d - 14 = -3*j - 0, 2*j - 7 = d. Which is greater: 1/90 or d?
d
Let z = 104 - 48. Let s be (-1)/(-3) + z/(-6). Let a be (-8)/48*s/4. Is -1 greater than or equal to a?
False
Let u = -127 - -157. Suppose 3*v - 22 = 7*v + 2*z, 5*v + 3*z + u = 0. Which is bigger: -1 or v?
-1
Let g(u) = u**3 - 3*u**2 + 3*u - 1. Let n be g(3). Suppose 15 = -5*x + n*x. Suppose i = -0*i - x. Is i greater than 1?
False
Let r(l) = -84*l - 164. Let w be r(-5). Which is smaller: 254 or w?
254
Let l = 127.9 + -128. Is 722 less than l?
False
Suppose -90 = 59*c - 68*c. Let j be 86/8 + (-1)/(-4). Which is greater: j or c?
j
Let l = 0.11 - 1.11. Let v = -7 + l. Is 1/2 less than or equal to v?
False
Suppose 2*c - 9 = -5. Suppose 5*o = -x + 23, -c*x + 6*x = -4*o + 28. Which is greater: x or -1?
x
Let w = 0.37 + -0.87. Let c = -1.52 - -0.02. Let n = c - w. Which is bigger: n or -1.2?
n
Let y = 946 + -1577. Which is smaller: -632 or y?
-632
Let l = 274045805/7 + -39224873. Let a = 75296 + l. Let y = 176 + a. Which is bigger: y or 2?
2
Let y be ((-2)/(-108))/((-7)/28). Is -2/7 less than y?
True
Let n(j) = j**3 + 6*j**2 + 4*j + 7. Let t be n(-5). Let l = t - 10. Let r be (-36)/(-48)*(-8)/(-6) - -2. Is l less than or equal to r?
True
Let g = -1535 - -1675. Which is smaller: g or 279/2?
279/2
Suppose -42*t = 93*t. Which is bigger: -6/157 or t?
t
Let i = 2918 + -93285/32. Which is greater: i or 3?
3
Suppose 5*r - 4 = o, -o + 3 = -2*r + 4*o. Let u be -1 + 5 - 13222/3311. Does r = u?
False
Suppose 2*k = -2*k + 2*p + 72, 90 = 5*k + p. Let o be (k/(-6))/(6/(-28)). Suppose -4*y = c + o, -2*c = 2*y - 3*y - 8. Which is greater: 1 or c?
c
Let w = 5.6 + -6. Let q = 122.3 - 131. Let x = q + 4.7. Are x and w nonequal?
True
Let r be 3/((-27)/(-3))*0. Suppose 2 = 2*f - r. Which is greater: f or -2/65?
f
Let f = 332338 + -3658851/11. Let g = -285 - f. Are g and 0 equal?
False
Let v = -1.6 + 1.88. Let r = v - 0.28. Let f = 3 - 0. Which is bigger: f or r?
f
Let d = -0.0031 + 773.0031. Which is bigger: -1/3 or d?
d
Let g be (-2)/9 - (-8500)/(-306). Which is bigger: g or -27?
-27
Suppose -5*m = 114 - 374. Let u = 53 - m. Let x = -13/88 + 1/44. Do u and x have the same value?
False
Let w(a) = a - 11. Let x be w(-9). Let l be x/(-12)*6/5. Is 1 at most l?
True
Suppose 0 = -10*q + 84 + 286. Let z = 37 - q. Which is smaller: z or -2/37?
-2/37
Let b = -0.04 + 0.34. Let l = 0.7 + b. Let s = 680 + -2725/4. Is l < s?
False
Suppose 0 = -7*h + 2*h + 15. Suppose y - 3*c - 504 = 0, 3*y - c - 720 = 808. Let q = y + -2536/5. Is h at most as big as q?
False
Suppose 40*p = -62*p. Is p bigger than 4/127?
False
Suppose 32*j - 45*j = -104. Which is smaller: -116 or j?
-116
Let u be (-34)/8*12*-1. Which is smaller: 52 or u?
u
Let u be 0/(((-24)/(-48))/(2/8)). Is u smaller than -2/201?
False
Let f = -35 + 36. Let t be 2*(30/28 - f). Which is bigger: 1 or t?
1
Let r(t) = -t - 1. Let v be r(-4). Suppose 0 = -v*k + 3*q - 21, k = 6*k - q + 27. Suppose -4*c - 5 - 3 = 0. Which is smaller: k or c?
k
Let g be (1176/10)/((-15)/75). Which is greater: g or -587?
-587
Let t = 135 - 191. Which is smaller: -55 or t?
t
Let x = 88 + -76. Let c(u) = -2*u**2 - 6*u - 1. Let n be c(-4). Let i be x/6 + 16/n. Which is bigger: i or 2?
2
Let a be (102/(-15) - -3)*-5. Suppose 4*i = -a - 1. Is i at most as big as -9?
False
Suppose 6*p = -19 + 25. Which is greater: -55 or p?
p
Suppose -k = -0*k + 2. Let d = 3611 - 3613. Are d and k nonequal?
False
Suppose m = f + 5*m - 13, 19 = -5*f + m. Suppose 0 = 4*z + 10 - 18. Suppose z*t - 6 = 5*t. Is f greater than t?
False
Suppose 0 = -0*v - 2*v - 40. Suppose 0 = 5*s - h + 32, -3*h + 2*h = -2. Let j be (3 - v/(-8))*s. Is -3 at most j?
True
Suppose 5*g - 3*g = 0. Let v = 8274382/17 + -487093. Let n = v + 365. Which is smaller: g or n?
g
Let j be 108/(-184) + (-1)/(-2). Let u be 1/2 + (-4)/8. Are u and j nonequal?
True
Let q = -154/3 - -731/15. Is -4 greater than q?
False
Let c(n) = 12*n - 128. Let q be c(11). Let u = -635 + 4471/7. Is q >= u?
True
Let u be 0 + (3 - 4) + 45. Let g = u + -26. Suppose -g = -2*m + 8. Is m greater than 13?
False
Suppose -2*b + 4*b - 40 = 0. Let z be 44217/55 + (-8)/b. Let x = z + -803. Which is smaller: 0 or x?
0
Let d be (-16)/24*3*-2 - -19. Let m = d + -26. Are m and -2 equal?
False
Let i = -279 - 180. Is i less than or equal to -460?
False
Let l(c) = c**3 - 5*c**2 + 3*c - 27. Let h be l(5). Which is smaller: -9 or h?
h
Let q = 1302 - 1303. Which is bigger: q or -2?
q
Let z be (5/3)/(10/(-24)). Is 2.83 > z?
True
Let f = -946/5 + 6432/35. Let j(n) = -n**3 - 7*n**2 + 2*n + 9. Let z be j(-7). Is f < z?
True
Let g = -7 + 7. Let p be (-1 + 8 - (-5)/(-1))/(-87). Is p at most g?
True
Let z be 205/(-287) + 225/21. Does 45/4 = z?
False
Let q = -3.8 - -7.5. Let c = q - 3.6. Is c greater than or equal to 0.1?
True
Let i = 129 - -15. Which is smaller: 145 or i?
i
Let q be 16/6 - (-6)/(-9). Let h(a) = -6*a**3 - 5*a**2 + 2*a. Let o(z) = -8*z**3 - 6*z**2 + 3*z. Let r(u) = -5*h(u) + 4*o(u). Let s be r(q). Is -9 >= s?
False
Suppose 141 = o - 4*p, 140 = o - 2*p - 1. Is o at least as big as 140?
True
Let c be ((-14)/(-4) + -1)*2. Let l be (-2 + 3)/c*5. Which is bigger: l or 1/38?
l
Let t = 51 + -49. Suppose g + t*b + 1 = 0, -2*b + 2 = 2*g + 4. Let d = -21071/49 - -430. Is g >= d?
False
Let f be 1*(3/(-1) + 3) + 0. Is 1/698 at most f?
False
Suppose -29*c + 156 = -25*c. Let w = c - 38. Let g = w - 3/4. Is 1 at most as big as g?
False
Suppose -128 + 24 = 4*b. Let c = -27 - b. Which is smaller: c or 2/103?
c
Let x(c) = c**2 - 3*c + 1. Let a be x(4). Suppose 3*m = 2*m + a. Suppose 0 = -2*q + 3*k + 8, m*k + 2 = -8. Is -1/4 <= q?
True
Let u be 1*2*(-549)/122. Which is bigger: u or -4?
-4
Let p = -75 + 70. Let y be 2/p*80/(-8) + -3. Which is smaller: -1/3 or y?
-1/3
Suppose 7205 = -42*c - 16987. Is c greater than or equal to -574?
False
Suppose 24*u + 381 - 45 = 0. Are -14 and u equal?
True
Let i(a) = -34*a + 171. Let f be i(5). Are 11/14 and f non-equal?
True
Suppose -5*c + 8 = -2. Let h be ((-5)/(-10))/(c/12). Suppose -q = 2*q - h. Is q != -2/41?
True
Let h(d) = -4*d. Let b(g) = -g + 12. Let u = -13 + 26. Let a be b(u). Let n be h(a). Which is smaller: 5 or n?
n
Let z(h) = h**2 - 9*h - 8. Let d be z(10). Suppose d*f = 7 - 9. Which is smaller: f or 4?
f
Let q = 20.9 - 21. Which is smaller: 0.075 or q?
q
Suppose 19*m - 1980 = -14*m. Which is bigger: 58 or m?
m
Let b be 2/(-62)*(-6)/(-48). Which is smaller: 0 or b?
b
Suppose -2*u = 201 - 39. Let q be (3239/(-164))/(2/8) + -2. Is u <= q?
True
Let s = -29 - -46. Let f = s + 18. Suppose 3*p + 5*x - 3 = -f, -2*p - x = 12. Which is bigger: p or 0.1?
0.1
Let s(k) = -5*k