19 > r?
True
Let c be 17/(-153 + 0) - (-7495)/63. Which is smaller: 118 or c?
118
Let s be 468 + (24/(-20))/((-4)/(-20)). Suppose 68*y - 57*y = s. Is y >= 43?
False
Let a = 127 + 38. Suppose x = 2*x - 5*y + 49, -3*x = 3*y + a. Let z be (x/360)/((-6)/4). Is z > -1?
True
Let s be (2/4)/(1/12). Let j be 1/(-2)*6235/(-435). Which is greater: s or j?
j
Let n(y) = y**3 - 4*y**2 + y + 4. Let z be n(3). Let g be z/6 + 16/12. Let o = -77/45 + 37/9. Is g at least as big as o?
False
Suppose -x - 19*x = 6360. Let g = 285 + x. Which is smaller: g or -20?
g
Let w = -937 - -939. Let q be (-2)/(-9) + 11200/225 + w. Suppose 2*b + 6 + 2 = -5*s, 6 = 4*b - s. Which is smaller: q or b?
b
Let g = 61/2 + -30. Let y = -180 - -460. Let d be 6/(-10)*56/y. Is d at most as big as g?
True
Let k be (-1)/(-2)*(-34572)/(-1634). Is 11 smaller than k?
False
Suppose -5*f = 2*p - 101, f - 43*p + 40*p - 10 = 0. Suppose 2*r = f - 9. Suppose -8 - 1 = c + 2*b, 3*b + 6 = c. Is r greater than or equal to c?
True
Suppose 0 = -7*o + 4*o + 3. Let p be (2 - (-114)/o) + 5 + -5. Is 116 <= p?
True
Let g be 2/10 + 42/15. Suppose o - 2 = 4*i, -10*o + 10 = -g*i - 5*o. Is i at most as big as -6/89?
False
Let z be 1*(2 - 0)*(-7)/14. Let o be 33/(-55) + 838/1330. Is z >= o?
False
Let g be (-159771)/(-7220) + -21 + (-2)/(-8). Is g less than or equal to 1?
False
Let z = -66 + 62. Let g = -23 - z. Let k = -16.1 - g. Is 0.1 at least as big as k?
False
Suppose -3*x - 4*p = -x - 8, -4*x - 2*p = -4. Let t be (x/((-18)/(-6)))/(-3). Which is bigger: t or 10/31?
10/31
Let v be 4563/6*(-72)/(-36). Is v greater than or equal to 1521?
True
Let n = -0.0537 - 0.0453. Let w = n - -5.099. Which is smaller: w or -4.1?
-4.1
Let r be 1*(-12)/20 - (-12306)/(-490). Which is bigger: r or -25?
-25
Let c(m) = -m. Let i(p) = -p**2 - 15*p - 23. Let f(q) = -3*c(q) + i(q). Let o be f(-10). Let a be -6*o/9 - 15. Is -12 greater than a?
True
Let n be (-20)/(-6) + (-2)/3. Let z be ((-12)/(-9))/(2598/(-432) + 6). Let x be z/(-168)*21/6. Do n and x have different values?
True
Suppose 211 = -11*t + 3786. Suppose -3*s = -4*k + t, -6*s - 15 = -s. Is 79 != k?
False
Let i be 4/(-46)*-13*(-420)/40. Which is bigger: i or -12?
i
Suppose 7*v = -302 + 960. Let y = -97 + v. Which is smaller: y or -23/6?
-23/6
Let q be (-2)/8 - (-12)/48. Suppose -5*c - 17 - 3 = q. Suppose -3*d + 8*d = -4*w - 30, 0 = -5*w - 3*d - 31. Which is smaller: c or w?
w
Let q be 4/(-5)*(-25)/(-10). Let c be (-63)/(-14)*q/(-3). Suppose 4*b + c*b = -14. Are -8 and b equal?
False
Suppose 4*r - 2*w - 202 = 538, 5*r + w = 918. Let u be (1 + -156)*(-18)/15. Which is greater: r or u?
u
Let o(i) = 171*i - 1195. Let u be o(7). Let l = -0.154 - 164.846. Which is bigger: u or l?
u
Suppose 0 = -3*w + 2*w - 128. Let p = 127 + w. Let h be (1 + -5)*p/(6/12). Which is smaller: 13 or h?
h
Let i(v) = 10*v**3 - 9*v**2 - 26*v + 158. Let n be i(8). Which is smaller: 4491 or n?
4491
Let i = -1.96 + 1.887. Let s = i - -0.473. Which is bigger: 5/2 or s?
5/2
Let t be (-41)/(-350)*5 - (-1)/(-2). Suppose -l + 14 = -2. Let a be (-2 + l/6)*(-21)/(-14). Is a > t?
True
Let z(f) = 3*f**2 - 22*f + 26. Let s(l) = 4*l**2 - 23*l + 28. Let r(x) = 2*s(x) - 3*z(x). Let p be r(11). Are 77 and p equal?
True
Let t(z) = z**3 + 12*z**2 - 2*z - 11. Let b(p) = 3*p - 4. Let l be b(13). Suppose -2*d - 2 - 8 = c, 3*c + l = -d. Let i be t(c). Which is bigger: 1/4 or i?
i
Let o = -219.08734 - 0.01266. Let q = -219 - o. Is 1.1 not equal to q?
True
Let t(u) = -53 + 9*u**3 + 16 - 3*u**2 + 18 - 9*u + 11*u**3 + 12. Let r be t(-2). Is r at most as big as -161?
True
Let m(c) = -c + 28. Let i be m(24). Suppose 2*u = l - 119, 9*l - 4*l - 651 = -i*u. Let r = l + -74. Are r and 53 equal?
True
Let s be (-6)/(-8) + (-841377)/1120908. Which is smaller: s or 0?
s
Suppose 17*a = 157*a - 2100. Which is greater: a or 27/2?
a
Let l = 180.73 + -180.65. Which is bigger: 2072 or l?
2072
Let t = -32.2 - -96. Let j = t - 7.8. Is -0.1 > j?
False
Suppose -3*t - 5*q = -t + 45, 3*t - 4*q + 102 = 0. Let c be 32/240 + 0 + 4/t. Which is bigger: c or 21?
21
Let f(l) = -l**2 + l + 6. Let c be f(3). Suppose c = 2*z + 38 + 2. Let x be (-44)/(-6)*30/z. Which is bigger: x or -13?
x
Suppose -l + 0*l - 5*f = -1, l - 2*f = -6. Let i be ((-204)/384)/((-1)/l). Which is bigger: i or -1?
-1
Suppose g - 25 = 4*h - 0*h, 5*h - 2*g + 35 = 0. Let b be (1/39)/(h/((-6980)/(-4))). Let y = b - 57/13. Which is smaller: y or -13?
y
Let s = -57 - -62. Suppose 0 = -6*m - s*m + 5148. Suppose -m = 8*y - 124. Is 2 at least as big as y?
True
Let z = -6965 + 6965. Do -0.0742 and z have different values?
True
Let w = 79/308 - 1/154. Which is bigger: w or 227?
227
Let v be ((-595)/14)/((-16)/(-2080)). Is v less than or equal to -5525?
True
Suppose -7*d + 10*d + 123 = 0. Let m = -189 - d. Let b be 14/(-52)*m/259. Is -1 < b?
True
Let x be (-40 + 44)*(160/2 - 1). Suppose -x*n = -312*n - 56. Is n less than -2?
False
Let d be 6/22*4*-8. Let k be (5/(75/(-24)))/((-401)/(-2005)). Which is smaller: d or k?
d
Suppose -5*p - 3*m = 525, -2*p = 3*m - m + 210. Let t be (3 + 320/p)*(2 + -8). Which is bigger: -2/5 or t?
t
Let y = -4987 - -5441. Which is bigger: y or 460?
460
Suppose 5*a = 0, 4*q + 690 = 5*a - 9030. Is q less than -2429?
True
Let z = 15027 + -14996. Are 2 and z equal?
False
Let y be (-189)/(-84) + -3*5/60. Let n = -0.1 + -32.9. Which is greater: y or n?
y
Let u be (-11720)/(4 + 6) + -12. Which is smaller: u or -1185?
-1185
Let z be 230884/(-4981) - 6/(-17). Suppose 0 = 2*f, -2*f + 1320 = -3*v - 0*f. Let g be v/(-12)*6/(-5). Is z equal to g?
False
Let r(q) = -q**2 - 10*q - 9. Let h be r(-8). Suppose 0 = -h*b + 2*b - 30. Let m be (-1 - 50/(-3)) + (-2)/b. Do 0 and m have the same value?
False
Suppose 0*i = 4*i - m - 42, -m + 2 = 0. Let y be 3205818/3528 + (10/(-7) - -1). Let j = y - 897. Which is bigger: i or j?
j
Suppose 0 = -29*a + 2*a - 243. Let y be 1/(-4) + 229/116. Let s = y - 875/87. Which is bigger: a or s?
s
Let r = 29.06 - -0.94. Let v = 29.8 - r. Let s be 1*(0 - -5)/((-12)/3). Is v != s?
True
Let n = -33723.2 - -33731. Which is smaller: 77 or n?
n
Suppose -5*o - 4*c + 1117 + 1167 = 0, -1860 = -4*o + 5*c. Suppose -19*d + 14*d - o = 0. Let m = 107 + d. Which is smaller: m or 14?
14
Let t = 1534 - 1355. Is 177 < t?
True
Let r be ((70/21)/(-5))/(6/(-135)). Suppose 3*n + 54 = -r*n. Is n less than 0.32?
True
Let x = 124 + -134. Let w = x - -10. Is w > -61?
True
Let k = -6656 + 6657. Which is smaller: -1371 or k?
-1371
Suppose 68*j - 72*j = -44. Suppose j*h - 1210 = 220. Is 130 >= h?
True
Let d = 2250 + -2213. Let z = 10 - 27. Let a = z - -18. Which is greater: d or a?
d
Let b = 0.05346 + -0.15346. Is b smaller than -0.003?
True
Let k = 0.03478 - -2084.96522. Is k at most as big as 2?
False
Let c(j) = -161*j + 1784. Let v be c(11). Let h = 32 - 18. Which is bigger: v or h?
h
Let i = 22793/296 + -77. Suppose -4*w - u + 13 = 2*u, 0 = -3*w + 3*u - 6. Is w smaller than i?
False
Let n = -10641 - -223460/21. Which is smaller: 4.3 or n?
n
Let o = 17482 + -17247. Which is greater: o or 220?
o
Let t(a) = -11*a**2 - 122*a - 268. Let o be t(-8). Is o bigger than 208/79?
True
Let r = -1217/1057 - 19/302. Is -1 at least as big as r?
True
Let n be (59/(-7))/(54/(-21)). Let m = n + -737/126. Let v = 8/3 + m. Is v >= -1?
True
Let x = 120 + -110. Let u(h) = h**2 - 9*h - 7. Let o be u(x). Is 55 less than o?
False
Suppose 2*q - 1216 = -594. Is 1873/6 >= q?
True
Suppose 10*b = 62 - 12. Suppose 3*t + 1 = -b*j, 4*j = -6*t + 4*t. Let g be j - (28/8 + -3). Which is greater: g or -6?
g
Let b(g) = g + 87. Let i(t) = -t - 44. Let h(k) = -6*b(k) - 13*i(k). Let o be h(-7). Is o not equal to -8/47?
True
Let n = 109 - 107. Suppose n*f + 3*g + 261 = 98, -f + 4*g = 98. Which is smaller: f or -85?
f
Suppose -9*h - 2*y = -7*h + 134, -4*h = -2*y + 292. Let t = h + 70. Let d = -16591/8679 + 2/789. Which is greater: t or d?
t
Let o(i) be the first derivative of -4*i**3/3 + 5*i**2/2 - 12*i + 25. Let r be o(4). Let j = 62 + r. Is 8 at most j?
False
Suppose -752*q + 747*q = 1595. Are -0.07 and q equal?
False
Let g(o) = o + 16. Let w be g(-8). Suppose -99 - 157 = w*q. Let j = q + 29. Are j and -5 non-equal?
True
Let y = 61 - 63. Let s be (-4 - 64/(-12))*(-135)/y. Suppose -7*f + 4*g - s = -2*f, -5*g - 18 = f. Are f an