 Is 0 >= c?
False
Let u(f) = 10*f**2 + 741*f + 200. Let z be u(-80). Is z smaller than 4919?
False
Let p = 6849 - 6859. Are -209 and p unequal?
True
Suppose -4*q - 20 = 6*q. Let y be (38/(-6) - -5)*24/q. Is 79/5 greater than or equal to y?
False
Let r be (-120)/144 - 10/(-12). Which is smaller: 1/3225 or r?
r
Suppose -4*b = 378 - 398. Let c be 4/(b + -1)*(-142)/(-10). Which is bigger: c or 13?
c
Let r = 27.7 - 27.252. Let b = r - 0.348. Let i = 1 + 58. Which is greater: i or b?
i
Let k = -19086.06 - -19086. Which is smaller: -234.2 or k?
-234.2
Let v = 10 + -17. Let u(r) = -20*r + 130. Let d be u(2). Let b be (-1210)/d + 13 + 82/(-18). Which is smaller: v or b?
v
Suppose -70*c = 85*c + 38750. Which is greater: c or -258?
c
Let o = -25 - -30. Suppose 3*g = -x + 13, 0 = 2*g - o*g + 3*x - 3. Suppose 3*s - 2*s + g*u - 2 = 0, 5*s - 10 = -2*u. Is 5 greater than s?
True
Suppose -19*x - 96*x - 115 = 0. Which is bigger: x or 0.2053?
0.2053
Let k(o) = 15*o - 1. Let j be k(0). Let m be 4/(-5 + j - -137). Which is smaller: 1 or m?
m
Let j(v) = 3*v**3 + 4*v**2 + 3*v + 1. Let w be j(-2). Let p(h) = 3*h**2 + 3*h - 5. Let s be p(1). Let u be -4 + (-232)/24 + s. Which is smaller: w or u?
w
Let h = -31/21 - -22/21. Let x = 15.931 - -0.069. Which is smaller: x or h?
h
Let b = 90.2 - -281.8. Let c = b + -370.8. Let j = 3 - 4. Is j greater than c?
False
Let a = -40835/4 - -10428. Let n be ((-430)/(-3))/(4/6). Let t = a - n. Is t bigger than 4?
True
Let t be -909939*(-4)/3630744 - 2/2. Let v = t + -5/702. Are v and 1 non-equal?
True
Let o = 169 + -120. Let b = -50 + o. Let a = 4 - -14. Which is smaller: b or a?
b
Suppose x - 5*q + 453 = 0, 2*x = x + 2*q - 465. Let m = 604 + x. Which is smaller: 0 or m?
0
Let g = -13661 - -18333. Do 4671 and g have different values?
True
Let w = 19962 + -19963. Is w < -38/65?
True
Let i be 1/((-2)/3) + (-18)/12. Let g be 6*(8/(-20) + i/(-6)). Are 21 and g equal?
False
Suppose -3*t + 15 = 7*m - 10*m, 3*m + 5*t - 25 = 0. Which is bigger: 2/1099 or m?
2/1099
Let d(m) = 39*m - 90. Let h be d(-5). Let l = h + 307. Is 23 at least as big as l?
True
Let x be 22 + 4/(-5) + (-4)/20. Suppose -3*i = -5*w + 15, 0 = -w + 5*i + x + 4. Are 0 and w non-equal?
False
Let m be (-1 - -5)*11/4. Let w be (0 - -14)*(m - 9). Suppose 0 = -2*s - s + 81. Is s >= w?
False
Let s be 6 - ((-33088)/(-2365) + -8). Let g = 1 - 0. Is s <= g?
True
Let k be (-9)/(0 - 3) + -6. Let u be (-2)/((-10)/27*k) + 2. Which is smaller: 19 or u?
u
Let s = 893 + -2681/3. Is s greater than or equal to 0.0079?
False
Suppose 52*b - 19*b = -22*b - 250305. Is b < -4552?
False
Suppose -14*h = -9*h - 10890. Let x be (h/(-110))/((-1)/20). Which is bigger: x or 397?
397
Suppose -2*h = 2*h - 8. Suppose -h*p = -4*n + 12, 3*n = -p + 7*n - 8. Suppose 5*z + 145 = 165, 3*v - 5*z = -32. Is p at least as big as v?
True
Let r = -397 + 74. Let w = r + 470. Is 147 smaller than w?
False
Let s = 4657 + -5637. Is s bigger than -974?
False
Suppose 4*o - 41 = -f + 2*f, 5*o + 3*f = 64. Let r = -6 + o. Suppose -15 = 3*a + 3*s, -2*s = r*a - 6*s - 20. Is -3/5 greater than a?
False
Let l(n) = 1 - 15 + 8 - 16 - 9*n. Let m be l(-6). Which is smaller: m or 163/5?
m
Suppose -21*f - 12408 = f. Let q = f + 5090/9. Which is smaller: 1 or q?
1
Let t = 1718 + -918. Which is smaller: 803 or t?
t
Suppose 0 = -d + 2*m + 36, 9*m - 119 = -3*d + 4*m. Let c be 3/(-2)*(-1)/3*d. Suppose -4*w = 2*i + 4, 4*i = 2*w - 6 + 18. Is w less than or equal to c?
True
Suppose 62*z + 2212 = 34*z. Let n = -253 + 171. Let u = z - n. Is u greater than or equal to 3?
True
Let l = 3 - 3. Let a be 390/(-4) - (0 + 0 - 0). Let b = 99 + a. Which is bigger: b or l?
b
Let z = -267 - -480. Let a = -243 + z. Is a at most -30?
True
Let n be (2 + 577)*((-3)/36*-8 + 0). Which is smaller: n or 425?
n
Let a be 1910/274 + 1 - (-2240)/(-280). Which is smaller: 7 or a?
a
Let i = -85 - -366. Let y = 280 - i. Let v be 16/(-10)*9/12. Which is bigger: y or v?
y
Let t = -0.3018 + 0.0588. Let x = t + -8.657. Which is smaller: -0.2 or x?
x
Let b = -11924 - -11297. Do b and -629 have different values?
True
Let m = -10/113 + 276/565. Let d(a) = a**3 - 26*a**2 + 26*a + 42. Let n be d(25). Which is bigger: m or n?
n
Suppose 0 = -h + 22*h - 525. Which is smaller: h or 9?
9
Let n = -68 - -4. Let l = n + 82. Suppose 0 = -l*f - 16 - 38. Which is smaller: f or 7?
f
Suppose 0 = -96*r - 12254 - 31714. Does -434 = r?
False
Let d = 11.902 + -12.002. Which is smaller: 741/7 or d?
d
Let a(t) = -t**3 + 6*t**2 + 3*t - 3. Let x be a(6). Suppose -3*v = 4*w - 12, -5*w - x = -v - 10*w. Let g be 2*4 - (15/(-1035))/(6/(-3303)). Is v smaller than g?
True
Let s be (-37)/(-1295)*7 + (-140118)/(-10). Which is greater: 14011 or s?
s
Let p = 59 + -151. Let t = -67 - p. Let b = 27 - t. Which is bigger: 5/3 or b?
b
Let q = -190719 - -190770.9735. Let d = q + 0.0265. Which is greater: 1 or d?
d
Let b be (-7)/((-112)/156)*(-14)/203. Let r = -1433/406 - b. Which is bigger: -3 or r?
r
Suppose 2*o - 44 = -2*y - 2*y, -4*y = -2*o + 60. Suppose -17*r + 9 = o. Is r smaller than -10/37?
True
Let q(h) = -2*h**2 + 5*h + 6. Let x(n) = -2*n**2 + 4*n + 6. Let o(u) = 7*q(u) - 6*x(u). Let y be o(6). Suppose 75 = -y*a - 5*a. Which is greater: -0.2 or a?
-0.2
Suppose 18*w - 92*w + 21*w = 0. Is 4/11685 smaller than w?
False
Let g(r) = 3*r**2 - 70*r + 27. Let k be g(-7). Is k smaller than 664?
False
Let t be 26 + 2379/(-91) + 8/7. Is t at least as big as -2/16613?
True
Let k = 7352.013 - 7360. Let i = k + 8. Let n = -1.987 - i. Which is bigger: -0.03 or n?
-0.03
Let u = -113.7 + 573.7. Is 0.5 bigger than u?
False
Let c = -60 - -60.049. Let w = -0.102 - 0.147. Let u = c + w. Which is smaller: 11 or u?
u
Let i = -14059 + 13863. Which is smaller: i or -1969/10?
-1969/10
Let n be (-568)/(-6)*(-393)/262. Which is smaller: -137 or n?
n
Let a = -36879 - -1106579/30. Which is smaller: 7 or a?
a
Suppose 3*t - 4*y = -23, -4*t + 4*y + 160 = 184. Which is smaller: 3/2660 or t?
t
Let m(j) = -4*j**3 + 84 - j**3 + 6*j**3 - 177*j**2 + 172*j**2 - 33*j. Let k be m(8). Let z = -7 - -15. Which is smaller: z or k?
z
Let s be 29*15 + (-4 - (-10)/2). Suppose -5*p - 826 = -s. Which is bigger: -80 or p?
p
Suppose 7*j + 2*y = 16*j - 26278, 5*j + 3*y - 14566 = 0. Which is smaller: j or 3?
3
Let x = 47/95 + 3089/285. Which is smaller: -106 or x?
-106
Let n be 14/(-10) + (-4)/(-10). Let h = -760/38553 + 26/543. Which is bigger: h or n?
h
Let q = 5786761303/4074675780 - 6/3574277. Let a = -27/20 + q. Is 0 less than a?
True
Suppose -26 + 54 = 4*g. Let u(h) = 2*h + 7. Let s be u(g). Suppose s - 3 = 9*m. Which is greater: 5 or m?
5
Suppose -14*w = -16*w + 8*x - 6, 2*w + 6 = x. Let c be 8/2*(-10)/8. Which is smaller: c or w?
c
Let u = -40/37 - -1384/185. Let f(a) = -a**3 - 42*a**2 - 4*a - 161. Let q be f(-42). Are q and u non-equal?
True
Let o = 1665/68 - 429/17. Which is greater: 221 or o?
221
Let j = -37663/186 + 2955/31. Is j at most -108?
False
Let o = 1/1578 + -11575/4734. Suppose -3*t + s - 2*s + 309 = 0, 0 = 3*s. Suppose 2*n - t = -107. Which is smaller: n or o?
o
Let h be (1180/(-30))/(68/366). Suppose 26 = -2*x - 398. Let t = x - h. Which is greater: 0 or t?
0
Suppose -3*p + 4*q = 3*q + 22, 4*q + 31 = -5*p. Let g(f) = f**3 + 5*f**2 - 6*f + 48. Let c be g(p). Is -10 at least c?
False
Let x = 681 + -79. Let n = -599.2 + x. Which is smaller: n or 8?
n
Let d = -48 + 60. Let u(o) = o**2 - 12*o + 28. Let w be u(d). Let v be 81/(-420) + 4/w. Which is smaller: 2/5 or v?
v
Let n(s) = -s - 2. Let m be n(-2). Let u be ((m/(-8))/(-2))/(-1). Which is smaller: -5/38 or u?
-5/38
Let f = 2301 + -2300. Which is smaller: 2/1243 or f?
2/1243
Let z = 6 - 4. Let s = 7260 + -7259.95. Which is smaller: z or s?
s
Suppose 0 = -6*i - 10 + 28. Suppose 0 = -4*z - i*x - 3 + 27, 2*z + 3*x - 12 = 0. Let d be -2*(-4)/128*z/(-15). Is 0 smaller than d?
False
Let g(c) = -107*c**2 + 38*c - 180. Let n be g(5). Is n greater than or equal to -2665?
True
Let y(h) = -h**2 + 50*h + 1056. Let m be y(66). Let x = -120 + 84. Let j be (-10)/x + 5/10. Which is smaller: j or m?
m
Let m = 1 - -2. Suppose 2*q + 19 = g - 0*g, -78 = -m*g - q. Let t be ((12/30)/2)/(-1 + (-348)/(-345)). Is g smaller than t?
False
Suppose -k = 5*t - 2, 4*k - 4 = 4. Let s = -87187021/3 - -8283089051/285. Let g =