 Which is smaller: r or -3?
r
Let f be (-4583)/9 + (395/(-45) - -9). Which is greater: f or -510?
f
Let w = 1597 + -954. Is w equal to 642?
False
Let k be (-1 + 2/2)*-1. Suppose k*p + 2*x + 1 = -3*p, 4*x = -4*p - 8. Suppose -3*v + 6 = -p*i, -2*v + 6*v - 12 = 0. Are i and -1/3 equal?
False
Suppose 0*s + 18*s = -18. Let w(z) = -4*z**2 - 5*z + 3. Let m be w(5). Let j be (3 - m/(-42)) + 0. Which is greater: j or s?
j
Let p = -121.1 + 121. Let m = -100 + 146. Let z = m - 28. Which is smaller: p or z?
p
Let h be (2 + -3)/((-3)/195). Suppose 0 = -16*r - 15 - h. Let i = -7 + 3. Which is greater: r or i?
i
Let b = -33 + 61. Let d be 4/b + 17/(-21). Let l(k) = k**2 + 6*k + 5. Let i be l(-5). Which is smaller: d or i?
d
Let o be (4280/(-210))/((-4)/14). Is o at most 71?
False
Let l be 168/15*265/106. Do l and -4 have different values?
True
Let f be 21/27 + (-125)/45 + 3. Is 13/10 greater than or equal to f?
True
Suppose 3*c = s + 174 + 31, 7*c - 4*s - 485 = 0. Do c and 3/4 have the same value?
False
Let c(h) = -h**2 + 3*h + 17. Let t be c(-3). Which is smaller: t or 2/821?
t
Let q(c) = -c**2 + 9*c + 53. Let b be q(-4). Which is smaller: 2/4135 or b?
2/4135
Let t be -9 - 21/14*-6. Is t < -32/9?
False
Let b(j) = j - 5. Let m be ((-20)/15)/((-2)/(-6)). Let x be b(m). Suppose -7 - 17 = 3*d. Do d and x have different values?
True
Let z(w) = -w**3 + 2*w**2 + w - 29. Let g be z(0). Is g at most as big as -29?
True
Suppose -9*u + 76*u = 50652. Are u and 756 non-equal?
False
Let q(i) = -29*i**2 + 9*i**2 + 9 + 0 - i**3 - 20*i. Let p be q(-19). Which is smaller: 30 or p?
p
Suppose 0 = -15*o + 1797 - 102. Is 113 > o?
False
Let i = 3.008 + -0.108. Which is smaller: i or -4?
-4
Let h(y) = 16*y**3 + 2*y**2 + 2*y + 1. Suppose 4*k = 4, 0*f - 5*f - k - 4 = 0. Let a be h(f). Is a > -13?
False
Let n = 47 + -47. Suppose 9 = 3*m - n. Is m at least as big as -3?
True
Let c = -61 - -54. Which is smaller: -37/5 or c?
-37/5
Suppose 3*y - y - 24 = 0. Let w be (2/4 + (-342)/36)*-1. Is y > w?
True
Suppose 9*i = 2*i - 63. Which is greater: i or -5?
-5
Suppose -2*f - 6 = -26. Let h be 8/(-5)*f/(-4). Suppose h = -0*w + 2*w. Which is smaller: w or 3?
w
Let g = 0.056 + -0.326. Let h be 163/1630 + (-2)/(-4). Is g smaller than h?
True
Suppose -9 = -0*b - 3*b. Suppose 5*v - 3*v = b*f, 4*f - 40 = -4*v. Let w be (-9968)/(-1602) + 1 + 11/(-9). Do w and v have the same value?
True
Let o be (-2)/3*3 + 5. Let b be o/(-2)*(-8)/474. Let a = b - -626/237. Which is greater: 2 or a?
a
Let n = -85 - -81. Do -14 and n have the same value?
False
Let y = 2.407 + 13.393. Which is smaller: -7 or y?
-7
Let f = -5 - 4. Let h be 3/(-7)*(-6)/f. Let p be ((-28)/(-10))/(4/20). Are h and p equal?
False
Suppose -24 = 69*z + 45. Which is bigger: 16/197 or z?
16/197
Let b = 579 + -501. Which is smaller: -1 or b?
-1
Let d = -411 - -373. Are -197/5 and d non-equal?
True
Suppose -5*x - 182 = 6*d, 0 = 5*x - 2*x - 6. Which is smaller: -2 or d?
d
Suppose 5*b - 4*b - 16 = 0. Let j = b - 25. Let l = 19 - 29. Which is smaller: j or l?
l
Let p = -4651/88 + 401/8. Is p less than -0.1?
True
Let i be (-19)/(-3)*(14/4 + -5). Let d be (-2)/7 - (-550)/(-84). Let c = i - d. Is c >= -4?
True
Let c = -29/5 + 343/60. Suppose -11*z - 10 + 21 = 0. Which is bigger: z or c?
z
Let d(a) = -a**2 + 10*a. Let x be d(10). Suppose -4 = 5*y - y + 4*m, -4*y - 2*m + 2 = x. Do y and 15/7 have the same value?
False
Let x be ((-10)/6)/((-10)/6). Let t = 8 + -20. Let z be (x/(-6))/((-42)/t). Which is bigger: z or 0?
0
Let z = -19 + 19.4. Let c = 2 + -2.6. Let s = z - c. Is -3 at least s?
False
Suppose -25 - 11 = 6*v. Which is smaller: -0.038 or v?
v
Suppose 4*t = 20 - 4. Suppose 0*i = 5*z - i + 71, -t*i = 16. Which is greater: z or -14?
-14
Let j = -2/1023 + 3412/1023. Is j not equal to -7?
True
Let o = -1066 + 1692. Is o greater than 0?
True
Let i = -151 + 167. Which is bigger: 103/6 or i?
103/6
Suppose -4*a + 6 = -4*t - 6, -7 = 5*t + 3*a. Suppose -3*g + 11 = 2*g - 3*m, 0 = 3*m + 6. Let x = g + t. Is 1/2 >= x?
True
Let x = -27 + 28. Let v be (x - (-4)/(-24))*(2 + -3). Which is smaller: v or -1?
-1
Suppose -3*h + 9 = 3*k, -2 = 4*h + 5*k - 12. Suppose -3*r - h*y + 8 = 0, 4*r - 5*y + y = 0. Let g = -131/556 + -2/139. Do r and g have different values?
True
Suppose 3*z = -2*j + 351, -j + 0*z = 3*z - 171. Which is greater: 179 or j?
j
Suppose 0 = y - 1 - 1. Let a = 8 - y. Let c be ((-15)/a)/((-2)/(-8)). Is c <= -11?
False
Let t = -1535 + 1536. Which is bigger: 3/377 or t?
t
Let p = 118 - 118. Which is bigger: p or 2?
2
Let a(q) = 3*q**2 - 4*q - 9. Let i be a(6). Suppose 10*h + 105 = -i. Which is bigger: h or 2?
2
Let y be (-1)/5 + (-324)/(-45). Suppose -105*v + 17*v + 616 = 0. Is y not equal to v?
False
Suppose -1319 = -x - 4*x + 3*u, 5*x - 4*u = 1322. Let h = -11268/43 + x. Let b(f) = -f**2 + f + 1. Let i be b(0). Which is greater: i or h?
i
Let r(w) = 2*w - 21. Let t be r(9). Which is greater: t or 30?
30
Let v = 1145/66 - 79/6. Which is smaller: v or 3?
3
Let n be 4 - -1*(2 + -3). Let t be ((-2133)/34)/9 + 4 + n. Is 1 smaller than t?
False
Let g(p) = -6*p + 4. Let b(z) = z. Let l(f) = -4*b(f) - g(f). Let w be l(7). Let j be (-8)/(-3)*(-75)/w. Is j less than -19?
True
Let f = -1/169 + -134/5915. Suppose -8*a - 5 = -13*a. Which is bigger: a or f?
a
Let t(h) = h**3 - 3*h**2 - 4*h + 6. Let d be t(4). Let z = 288 + -286. Which is greater: d or z?
d
Suppose 5*r + 5*v = -0*v, -16 = -4*v. Let h(m) = -m**2 - 7*m + 25. Let z be h(-12). Let w be (-4)/(-12) - z/(-15). Which is smaller: r or w?
r
Let y = -257 + 165. Let c = y + 69. Is -24 less than c?
True
Suppose 189 = 16*g + 173. Let z = 56.026 - 0.026. Are g and z equal?
False
Let y = -0.0218 + 0.0658. Which is smaller: 4 or y?
y
Let x(d) = 2*d - 6. Suppose 2*v - 2 = -2*z, 3*v - v = -3*z - 3. Suppose 4*f + 6 = v*f. Let p be x(f). Which is greater: p or 2?
2
Let m(t) = t**3 - 4*t**2 - t - 80. Let c be m(6). Which is smaller: c or 1/13?
c
Let g be (-32)/40*(580/24)/(-1). Which is smaller: g or 19?
19
Suppose j = x + 41, -2*j - 2*x = -x - 70. Let y = -37 + j. Is -2/11 at most as big as y?
True
Let d be ((-14)/(-308))/(15 - -1). Which is smaller: d or 1?
d
Let y be ((-21770)/1035)/(-7) - 3. Let d = -379/7245 - y. Which is greater: 1 or d?
1
Let w(o) = o**2 + 7*o + 7. Suppose -2*k - 4 - 8 = 0. Let n be w(k). Which is greater: n or 3?
3
Let b(f) = -f**3 + 7*f**2 - 18*f + 73. Let c be b(6). Is c bigger than -5/102?
True
Let a = -53/150 + -8867/1650. Is a greater than -7?
True
Let z = 5.6 - 4.6. Which is bigger: z or 2.4?
2.4
Let x = 932 - 538. Let n = x - 1142/3. Which is greater: n or 14?
14
Let u = -1 - 7. Let i(p) = p + 4. Let g be i(u). Let w be g/6*3/5. Is w smaller than 1/4?
True
Let k(l) = -3*l - 1. Let y be k(-2). Suppose -y*m + 5 = 5*t - 5, -3*m - 4 = t. Suppose -t*v + 12 = 2. Which is smaller: v or -6/7?
-6/7
Let p(y) = -2*y**3 - 2*y - 1. Let a be p(-1). Suppose 1 - a = -2*q. Let f be 1/(q + -2)*-7. Is f smaller than 6?
False
Let f be (7 - 52/6)/(475/(-90)). Is -22 > f?
False
Let s = 760 + -40283/53. Suppose 0 = -290*c + 295*c + 5. Is c >= s?
False
Let a = -505 - -3529/7. Let j = -5 + 2. Let i be (5 - 2) + 11/j. Is a > i?
False
Let l = 1003 - 1014. Is l equal to 45?
False
Let i be (-910)/(-3852) - (-8)/(-36). Let z = -3629/642 - i. Let f(j) = -j**3 - 2*j + 5. Let s be f(2). Is z != s?
True
Let g be 4/18 + (-34)/(-9). Suppose g*f + f = 0. Let s = 6186 + -6191. Is s not equal to f?
True
Let l = -0.4 - -0.02. Let c = 0.58 + l. Let f be (1/(-2))/((-2)/2). Which is greater: c or f?
f
Let z = 72 + -28. Let u = -41 + z. Are 17/4 and u non-equal?
True
Suppose -y = 3*q - 12, -5*y + 2*q - 4*q = 5. Is -74 at least y?
False
Let c = 23 - 16. Let k be -9 + c - (-2 - 1). Is k less than -4/15?
False
Suppose -3*z = 12*z - 15. Are 2/7 and z unequal?
True
Suppose 3*k + 22 + 32 = 0. Let a be 22/k - (-12)/54. Let q be 3*3/5 - a. Is 3 bigger than q?
True
Let m = 718 - 4333/6. Which is smaller: -3 or m?
m
Let x = 0.0115 - 2.7115. Let v = 0.2 + -0.3. Which is smaller: x or v?
x
Suppose -3*s - 3*m = -18 + 12, 0 = 3*m - 3. Let h = 213891/146 + -1465. Which is smaller: s or h?
h
Let i be ((-8)/10)/((-9)/45). Suppose 4*v + i*s = 32, -19 = -3*v - 5*s + 1. Let o be (2/4)/(v/60). Is o at most 4?
True
Let j = 34.7 - 33. Let q = -3.65 + j. 