. Is r at least 1?
True
Suppose 3*u + 2*u = -3*z - 16, z + 3*u = -12. Let b = 31441/3 + -10478. Is z at least b?
True
Let q be (-54526)/(-4932)*(26/220 - (-8)/44). Which is greater: q or 4?
4
Let m = 247132 + -2714348/11. Which is smaller: 374 or m?
m
Let t be 0 - 60/(-3 - 3). Let b be (-32)/t*4 - 12/3. Is b bigger than -16?
False
Let k = -4320 - -4320. Does k = -10/1559?
False
Let l be ((-1)/33051)/((-282)/188*1/9). Is 1 bigger than l?
True
Let d = -328 + 170. Let i = -157 - d. Which is bigger: 1/13 or i?
i
Suppose 2*s - 5 = 3*x, 3*s + 2*x - x - 35 = 0. Let d be -4*2/12*3. Let u be d*(25/s - -1). Which is smaller: -40/7 or u?
u
Suppose -98 = 9*a - 2*a. Let z be (14 - 2)/((-3)/4). Do z and a have the same value?
False
Let a = 1108.1 + -1108.3. Which is smaller: -8 or a?
-8
Suppose -q + g = -2 - 9, -q + 7 = -2*g. Let d be (-24)/(-15) - (-6)/q. Which is smaller: -12 or d?
-12
Let q = -59335 - -59421.086. Let s = 86 - q. Let r = s + -0.914. Is r at most as big as -41?
False
Let f = 69 + -31. Let c = f + -29. Suppose -k + 45 = 4*x, 5*x = 2*k + 57 + c. Is 10 >= x?
False
Let o = -134 + 139. Suppose -x - 5 + 13 = 0. Suppose x*r = 4*r - 32. Which is smaller: o or r?
r
Suppose -4*d - 4*m + 171 = 43, 3*d - 96 = -5*m. Let i be 8/(d/12) - 2763/(-1). Let a be i/(-918)*1 - -3. Is a less than or equal to 0?
True
Let v = 1.0549 + -1.0515. Is v smaller than -3?
False
Let a = 7257 - 7256. Let p = 3100/7 - 195298/441. Which is bigger: p or a?
a
Let i = -1155 - -1308.3. Let m = 153 - i. Which is smaller: 0 or m?
m
Suppose 0 = 30*i - 2 - 88. Let n(v) = -v**3 - 5*v**2 - 6*v - 3. Let r be (-3)/(-1)*(-8)/6. Let t be n(r). Is i greater than t?
False
Let p(b) = 2*b**2 - 9*b + 7. Let q be p(5). Let l be q*2/8 + -2 - -1. Which is bigger: l or 0?
l
Suppose -158 = 3*l + 5*g - 145, 10 = -5*g. Is l smaller than 30/271?
True
Let a(w) = 163*w + 3476. Let l be a(-9). Which is smaller: 2008 or l?
2008
Suppose -185*q = -174*q + 3784. Is q equal to -344?
True
Let o(w) = -5*w - 116. Let g be o(-26). Suppose 443 = g*f - 61. Which is greater: f or 31?
f
Let k(a) = a**3 - 5*a - 1. Let w be k(-4). Let c = w + 51. Let u be (2/10)/((-264)/(-87) - 3). Is u bigger than c?
False
Let x = -11761.64 + 11709. Is 0.1 at least as big as x?
True
Suppose 58 = -2*f - 30. Let v be (f/(-10) + 7)/((-1)/(-20)). Is 229 at most v?
False
Let y(i) = -i + 64. Let v be y(-7). Suppose -4*w = -349 + 65. Let r = w - v. Which is bigger: -1/30 or r?
r
Let w = -230 + 230.1. Let y = 2.67 + 0.33. Which is smaller: w or y?
w
Let c = 51.158 + -0.158. Let f = -67 + c. Which is bigger: f or 1?
1
Let a = 23248/529 - 70812154/1615037. Let j = -6/71 - a. Are j and 0 non-equal?
True
Let y(p) = -p**2 + 70*p - 924. Let c be y(11). Which is bigger: c or -277?
c
Let l = -2407 + 2406. Which is greater: -13/855 or l?
-13/855
Let l be (-4823)/2067*(-2)/28*3*-5196. Is l bigger than -2598?
False
Let n = 25 - 10. Let u = n + -16. Let p be (-21 - -18) + (28/18 - -1). Which is smaller: u or p?
u
Suppose 3*c = 3*t - 27, -10*t = -5*t - 3*c - 35. Suppose -t*n - 21 + 168 = d, 4*n + 4*d = 156. Which is smaller: n or 33?
33
Suppose 0 = 4*p - 5*z + 4696, p - 1066*z = -1067*z - 1156. Which is greater: p or -1170?
p
Let i = -486 + 757. Suppose -i = -5*o + 6*o. Which is smaller: -270 or o?
o
Suppose d - 275 = -2*y - 274, -3*y - 3*d = 0. Is -1928 at most as big as y?
True
Let d = 10 + -8. Suppose 3*c - d*c = 3*j + 18, 20 = -5*j. Let a be (c + -1 + -3)/(-2). Which is smaller: 1/10 or a?
a
Let w = -0.25 + 0.346. Let x = 42.1 - 42. Which is smaller: w or x?
w
Let d = 0.2348 + -0.8348. Let r = -1.7 + 1.9. Is r less than d?
False
Suppose -4*w + 5*j = -5*w - 2, -4*w - 3*j = -9. Let f be (-2 - 87/(-39))*w/3. Is f at least as big as 1/4?
False
Let n = 5812 + -5811. Which is bigger: 38.13 or n?
38.13
Let r(q) = -4*q**3 - 30*q**2 - 28*q - 9. Let n be r(-6). Which is greater: -58 or n?
n
Let a = 102.084 + -0.084. Let j = a + -141. Is j less than -1/4?
True
Let x be (-51)/170*(-58770)/(-108). Which is smaller: -163 or x?
x
Let y(d) = 82*d + 2294. Let h be y(-28). Suppose -r + 540 = -3*r. Let a be r/55*1/3. Which is smaller: a or h?
h
Let b = -8 - -9. Let r(i) = i**3 - 10*i**2 + 41*i - 508. Let t be r(11). Are t and b unequal?
True
Let k = 25 + -27. Let j be ((-22)/8)/(k/16). Let w be j/(-33) + (-292)/(-429). Which is smaller: 1 or w?
w
Suppose -52 = i - 5*i. Suppose -42 = -16*j + i*j. Let m be (-8)/28 + (-80)/j. Which is smaller: m or -1/3?
m
Let k(d) = -9 + d + 2 - 7*d - 5. Let v be k(-3). Suppose v*f + 3*f = 27. Is -5 equal to f?
False
Suppose -g - 3*g + 4*s = -404, -3*g + 2*s + 303 = 0. Suppose 3*i - g = -86. Are 0 and i equal?
False
Suppose -107*r - 13 - 82 = 12. Which is smaller: r or -3/1261?
r
Let w = -1.5339 + 1.4339. Which is smaller: 0.0412 or w?
w
Let m be (-18864)/10 + (-27)/(-3). Which is greater: -1877 or m?
-1877
Let l(i) = i**3 + 4*i**2 - 8*i - 13. Let f be l(-5). Suppose -6*r + r = -4*d + 1, 3 = -5*d + f*r. Is d smaller than -2/1141?
True
Let u be ((-6 - 310/(-55))/(28 + -34))/(21/(-9)). Let m = 1.3 + -0.3. Which is greater: m or u?
m
Let f be (-1 + (1 - -1))*-1. Let i = 17009 - 119064/7. Which is smaller: f or i?
f
Let v = -291 + 547. Let q = 255.53 - v. Is q < 1/3?
True
Let y = -2352.2 + 2352. Is y at least as big as -264?
True
Let y(m) = 14*m**2 + 62*m + 208. Let f be y(-3). Are f and 147 equal?
False
Let t = -646 - -678. Let g(u) = -u**2 + 39*u + 147. Let d be g(t). Is d less than 371?
False
Let n be 1410 + 176 - (1 + -15). Which is greater: n or 15?
n
Let z(y) = -9*y**3 + 2*y + 1. Suppose -21*c + 10*c - 11 = 0. Let b be z(c). Which is greater: -6/11 or b?
b
Let i(b) = b - 3. Let z be i(8). Suppose z*t - 2 = 7*t. Let v be 4 - t - (-238)/(-38). Which is smaller: 0 or v?
v
Let n be (-277)/(-9) + 8/36. Let u be (-5536)/(-160) + (-24)/15. Does n = u?
False
Let y be (-88)/(-33)*(0 + 3)*2. Suppose 2*v + 2*o = -y, -4 - 22 = 3*v + 5*o. Let s = 560 + -1703/3. Which is smaller: s or v?
s
Let p = 1141 + -1140. Let s be 3 + (-1780)/(-1772) + -4. Which is smaller: p or s?
s
Let x = 2360 - 2377. Which is smaller: x or -32?
-32
Let r be ((-2)/(-4) + 0)*(-16 + 794). Let b = r - 5443/14. Let n = -13 - -12. Is b < n?
False
Let c = 117 - 168. Let m = -46 - c. Let h = m - 4.9. Which is smaller: -3 or h?
-3
Let x = -192487 - -192507.9679. Let l = x - -0.0321. Is 1 <= l?
True
Suppose 32 = 20*f - 12*f, -5*c - 892 = -3*f. Which is smaller: c or 2?
c
Let d = -2.803 - -18.803. Which is smaller: d or 35/8?
35/8
Let z = -59 + 82. Let m = -22.35 + z. Let n = 0.75 - m. Is n at least -5?
True
Let c(k) = k**3 - 2*k**2 + 12*k - 50. Let m be c(4). Suppose 3*f = -12*f - m. Is f <= -84?
False
Let r(g) = 43 + 107 - 101 + 4*g - 11*g. Let t be r(7). Is -6/139 at least t?
False
Suppose -32*n = -2*n - 9*n - 21. Do 925 and n have the same value?
False
Let t(h) = -11*h - 59. Let p be t(-6). Suppose 4*g + 9 = -f, -11 = g + p*f - 5*f. Is g less than -31/16?
False
Let s be (12/(-5))/((-72)/23400). Are 781 and s nonequal?
True
Suppose -w + q = 2*w - 5, -2*w = -2*q - 2. Suppose -w*x = t - 13, -7*t + 36 = 4*x - 3*t. Let r be (15 - 17)/(x/134). Is r smaller than -68?
False
Let i(g) = -256*g**2 - 226*g. Let y be i(-1). Is 0.46 < y?
False
Let m = 33.4 + -13.44. Let h = m + 2.44. Let r = -6.4 + h. Does r = -3/5?
False
Let i(k) = 2*k + 27. Let a be i(-13). Suppose -2*t - 1 = b + a, 3*b - 4 = 4*t. Let x = -9452/11 - -858. Is t less than x?
False
Suppose 41*b - 40 = 37*b. Suppose 0 = 9*r - b*r - 55. Let k = r - -54. Which is greater: -2/29 or k?
-2/29
Let b(u) = -u**2 - 27*u - 9. Let p be b(-20). Suppose 3*r = p + 28. Which is greater: r or 52?
r
Let t(i) = 15*i - 2001. Let l be t(99). Is l smaller than -518?
False
Let y(i) = -i**3 + 10*i**2 - 20*i - 23. Let v be y(10). Let k = v + 224. Is 2/119 <= k?
True
Suppose -i - 5*t + 118 = 0, 12*t = 5*i + 15*t - 656. Let k be (-1)/i*7/12*2. Is k at least as big as 0?
False
Let x = 8495 + -8496. Let q(c) be the first derivative of -22*c**3/3 - c**2 - 2*c - 1. Let g be q(x). Is g greater than or equal to -22?
True
Let u be -11*64 - 11/11. Let t = u + 1011. Let m be t/8 + 108/16 + -7. Are 37 and m nonequal?
True
Suppose 4*t = -4, 5*q + 17 = -3*t + t. Let f be (-6 - q) + 0 + -62. Let o = f - -48. Is -17 not equal to o?
False
Let k = 1087.45 + -1127. W