 Suppose 123 - 501 = i*x. Is x smaller than -53?
True
Let i = 0.05 - -4.05. Let y = -5.3 - -1.4. Let t = i + y. Which is smaller: 4 or t?
t
Let l = -8/109 + 171/3815. Let c be 2*(-3)/(-18)*(114 - -3). Suppose c*s = 34*s - 5. Is l < s?
False
Suppose 0 = -7000*p + 6966*p + 816. Which is greater: p or -116?
p
Suppose -4*w = -81 - 3. Let h = w - 45. Let a be (-14)/(-6)*h/63. Which is bigger: -2 or a?
a
Let t = -4341 + 1015775/234. Which is smaller: t or -1?
-1
Let z be ((-10)/(-16))/((-4)/(-32)*(-39 + 37)). Let y be (-663)/9 - 2/6. Is y equal to z?
False
Let i(s) = 4*s**2 + 20*s + 106. Let p be (-10)/(-4) + -3 - (-15)/(-2). Let x be i(p). Do x and 200 have the same value?
False
Let q = -30/17 - -1222/731. Suppose -3*y - 2*s + 0*s = -369, 3*s - 491 = -4*y. Let c = -125 + y. Are c and q equal?
False
Suppose 0 = -2252*l - 1403712 - 596064. Suppose -1 = -2*h + 5, 0 = 3*i - 2*h + 2670. Is i != l?
False
Suppose 0 = 3*t - 8*t - 240. Let u = 1984 + -1981. Which is greater: u or t?
u
Suppose -5*j = -4*x - 88, x + 84 = 3*j + 34. Is j less than or equal to 180/11?
True
Let p be 1978/(-18) + (-4 - -5)/3. Let d = 968/15 + p. Let s = d - -45. Which is greater: s or 0?
0
Let k(z) = 9*z**3 + 2*z**2 - 11*z + 18. Let a be k(2). Suppose n - 5*u - a = 0, n + u = -4*n + 510. Is 102 >= n?
True
Let y = -110 + 111. Let m be (5 + -3)*y/2. Is m not equal to 1/42?
True
Let y be (8/(-170))/((-2)/15). Let s = 68 + 45. Let b = s - 113. Which is bigger: b or y?
y
Let g = -34803 + 6194951/178. Let c = -10360/89 - g. Which is smaller: c or -117?
-117
Let a = 119.45 + -119.2455. Which is smaller: a or 0?
0
Let u = -37 + 22. Let c be (u/(-10))/((-6)/(-20)). Suppose -c*k = -6 + 1. Are k and 2/19 unequal?
True
Let b(l) = -l**3 - l + 3. Let x be b(0). Suppose -x*w = 2*w - 5. Let a be (-90)/6*((-15)/9)/w. Are 26 and a equal?
False
Suppose 4 = 2*w - p, -7*w + 3*p = -2*w - 10. Suppose 145 = -w*a - 5*x - 138, 4*x = 20. Is -153 bigger than a?
True
Let x(s) = s + 2. Let p(o) = o**2 - 4*o - 19. Let k(q) = p(q) + 6*x(q). Let z be k(-6). Let m be (z - 6)*(-3 - 1). Is m less than -43?
True
Let k(g) = -g**2 - 2*g + 57. Let i be k(-6). Let x be (-365)/(-105) - 11/i. Is x at most as big as 3?
False
Let g = -0.261 - -109.261. Let v be 1/(-6) - 1/(-4)*-2. Which is bigger: g or v?
g
Let c = -4211/380 + -16/95. Let k = 0.131 - -45.869. Let j = 45 - k. Is j at most c?
False
Let q = -63 + 12. Suppose -3*c = -110 - 55. Let j = q + c. Is j less than or equal to 0?
False
Suppose 39 + 112 = -2*y + z, 207 = -3*y - 5*z. Let s(i) = -6*i**2 - 5*i + 2. Let p be s(-4). Are p and y nonequal?
False
Let s = -365169 + 14973225/41. Which is smaller: 31 or s?
31
Suppose 0 = 5*v - g - 990, -4 = 4*g - 24. Suppose 323 = 2*b + 3*r, 3*b - 703 = 2*r - v. Suppose -51 = -7*d + b. Which is greater: 32 or d?
32
Let j = -33.06904 + 0.06904. Let p = -39.47 - -0.47. Let c = p - j. Which is smaller: -1/2 or c?
c
Let p = 166903 - 7176393/43. Is p at most 11?
True
Suppose 4*v - 2*t = 2*t - 800, 0 = -3*t + 12. Let k be 6/4*v/21. Let u be 15/35 - ((-152)/k)/2. Is -11/3 > u?
True
Let l be ((-3036)/40)/((-183)/(-52)). Let b = 124/61 - l. Is 25 >= b?
True
Suppose -376 = 92*o - 94*o. Let i = -162 + o. Which is bigger: 30 or i?
30
Let w(p) = 15 + 7 - p**3 + 16*p**2 + 14*p + 17. Let z be w(17). Let n be 3/((z/(-8))/(-1)). Is n greater than -3?
True
Let i be (-190 - 1)/(7/(-91)). Is i at least as big as 2482?
True
Let f = 66 + -61. Suppose -4*d + 443 = 5*k, 3*k = f*d - 0*d - 563. Let v be ((-2)/8)/(8/d). Is v at most as big as -5?
False
Suppose -104 - 64 = -2*o. Suppose -4 + o = c - i, -3*c = -2*i - 235. Is c smaller than 0?
False
Suppose -76 = -41*b + 22 + 148. Suppose 5*l + 0 = -15, -l = -3*i - 9. Which is smaller: b or i?
i
Let q = -43311/5 - -8665. Which is smaller: 2 or q?
2
Let l be (-14 + 6 + -9)/(-2 - -1). Suppose -2*h + 5*r = l, -4*r + 10 = -23*h + 25*h. Which is bigger: h or -10/37?
-10/37
Let c(x) = x**3 - 7*x**2 + 13*x - 11. Let q be c(5). Suppose 0 = -f - f + 5*y + 24, 13 = 3*f + q*y. Suppose -23 = f*s - 79. Is 5 less than or equal to s?
True
Let p be 4 - (16672/(-22))/1. Let f be 24/8 + 4*-191. Let g = f + p. Which is bigger: 1 or g?
1
Suppose -28*k + 27*k - 220 = 0. Let l = k - 95. Is l smaller than 0?
True
Suppose 0 = -t + 4*t. Suppose 0*h - h + 0*h = t. Let j be -3*5/(-330)*-1*2. Do h and j have the same value?
False
Let j(h) = -11*h**3 - 33*h**2 + 3*h + 9. Let s be j(-3). Is -798 smaller than s?
True
Let o(u) = u**3 + 12*u**2 - 2*u - 139. Let k be o(-11). Let c = 1 - 1. Suppose -5*w = -2*d - 3, -k*d - 5*w + 9 = -c. Which is bigger: -1 or d?
d
Let f = 2.05 + -0.05. Let v(g) = -10*g**2 - 6*g - 6. Let u be v(6). Let q = u - -398. Which is smaller: f or q?
q
Let o(s) = -s**2 - 11*s - 43. Let r be o(-6). Does r = -233/19?
False
Suppose 33*t - 26352 = 9*t - 37*t. Is t greater than or equal to 2593/6?
False
Let f = 692.75 + -692.7266. Let t = 1 + -1. Which is greater: t or f?
f
Let g be (-6)/9*45/10. Let v be (-1)/g*(-1 - -1). Let r = -3/460 - -2339/5980. Which is greater: v or r?
r
Suppose -3*x + 5*w + 16 = 0, 4*w = -2634*x + 2639*x - 18. Which is smaller: x or -17/156?
-17/156
Let y be (-200)/(-150)*666/4. Which is smaller: 191 or y?
191
Suppose -5*x - 2*k + 45 = -74, -103 = -4*x + k. Let t be 0 + (6 + -2 - 6 - -8). Suppose 2*c = -t*j + 3*j + 64, j - 3*c = 36. Which is smaller: j or x?
j
Let c = 124260273/19 - 6538493. Let v = 1522 - c. Which is bigger: v or -1?
v
Let i = 28 - 27. Let a = -2042 - -296078/145. Which is greater: a or i?
i
Let u be 8/(2068/692 + -3). Let h be (2100/u)/(-3) - 1. Is h at least 1?
False
Let k be (2 + 0)/(3/(-39)). Let i = -25 - -32.1. Let d = -7 + i. Which is smaller: d or k?
k
Let d = 136949 - 962939/7. Is -613 bigger than d?
True
Suppose -66*v + 14*v = -0*v - 4056. Which is smaller: 58 or v?
58
Let o be 27*(1 + 2/6). Let w be ((-1023)/62)/(-11)*(-2)/3. Let t be 4 - (o/16)/(w/(-4)). Is -0.02 greater than or equal to t?
True
Let d(y) = -3*y - 30. Let v = 278 - 238. Let z be d(v). Is z at least -149?
False
Let r = 1095331/290 - 3777. Are r and 0 equal?
False
Let z = -1260 + 1260. Let y = 1006 - 1717. Let c = y + 39817/56. Which is smaller: c or z?
z
Let w(j) = j**3 + 3*j**2 - 2*j - 6. Let u(k) = -62*k - 65*k + 131*k - 3. Let h be u(0). Let p be w(h). Is 7/5 equal to p?
False
Suppose 4*c - 107 = 5*u, u + 15 = 3*c - 2. Let p(y) = y**3 + y**2 - 32. Let o be p(0). Let g = o - u. Which is smaller: g or -11?
-11
Let u(c) = -372*c**3 - 23*c**2 + 21*c + 1. Let j be u(1). Which is bigger: -1489/4 or j?
-1489/4
Let s be (10 + -3 - 2) + (-8 - -3). Let b = -205 - -207. Which is bigger: s or b?
b
Let s = -548995/4371 + 13610/93. Is 21 at most as big as s?
False
Let c = 669.1 + -641. Let p = c + -7.1. Let t = -3.137 - -0.137. Which is bigger: t or p?
p
Suppose 0 = 4*q - 2*j + 126, 4*q + j = -3928 + 3787. Is -34 greater than or equal to q?
True
Suppose -46*k = -99 - 545. Let o be ((-15)/k)/((-3)/2). Is o at most 1?
True
Let m(s) = s**3 + 16*s**2 + 41*s + 4. Let o be m(-12). Are 46 and o equal?
False
Let a = -53390 + 493110041/9236. Is -1 less than a?
True
Suppose 1040*i - 1043*i + 39 = 0. Is i != -1.2?
True
Let p(c) = 7*c**2 + 14*c + 397. Let r be p(-13). Is 1400 bigger than r?
True
Let o be 15 + 2/((-1246)/8645). Which is smaller: 2 or o?
o
Suppose u = -2*j - 97, 240 = -5*j - 3*u + u. Let y(l) = 12*l - 57. Let x be y(5). Suppose -2*t = 2*m + 98, -5*m + x*t - 213 = -0*m. Is m <= j?
False
Let b(j) = -144*j + 2015. Let m be b(14). Let u = -50.886 + -0.114. Which is bigger: u or m?
m
Let g = 23 - 112. Let x = g + 448/5. Which is bigger: x or 0.03?
x
Let b = 322 - 317. Suppose b*a - 74 = r, 4*a - r - 80 = -21. Let j(f) = f**3 - f**2 - 4. Let t be j(3). Which is smaller: a or t?
t
Let o = -85 - -37. Let w = -0.0519 + 98.0519. Let a = w + o. Which is smaller: a or 0?
0
Let u(y) = -458*y - 245. Let a be u(-5). Which is smaller: a or 2047?
a
Let l = 762 + -786.78. Which is smaller: l or 0?
l
Let v be 5/30 - (-4706)/(-12). Let w be ((-13)/2)/(-5 - 1956/v). Let b = w - 50324/79. Is b smaller than 0?
True
Suppose 245*p + 550 = 235*p. Let l = -108 - -53. Do p and l have different values?
False
Suppose -3*g - z = -19, 5*g - 16 = 3*z + 11. Let c(s) = -2*s - 1. Let b(r) = -2*r - 2. Let l(v) = g*b(v) - 7*c(v). Let u be l(-9). Doe