 Which is smaller: s or r?
r
Let z = 2.4 + 8.6. Let y = -101.8 + 113. Let n = z - y. Which is greater: n or 2?
2
Suppose 44*l - 52*l = -8. Which is bigger: -2 or l?
l
Let z be ((-4)/7152)/(-1 - 7/(-4)). Does 1 = z?
False
Let k = 8/8483 - -567353/1068858. Let g = -2/63 + k. Let m = 0.3 - 0.34. Which is smaller: g or m?
m
Let s = 0 + 1. Let k = -161/3 - -4681/87. Is k less than s?
True
Let o(r) = r**2 - 2*r + 2. Let b be o(1). Suppose 2 = 4*z - 2. Suppose b = p - z. Which is smaller: p or 2/9?
2/9
Let x(t) = -t**3 + t - 2. Let h be x(0). Suppose 0*k = 4*k - 12, -2*j + 4*k = -8. Let v(s) = s - 11. Let b be v(j). Is h at most as big as b?
True
Suppose -3*l - 2 = 2*n - 8, -4*n = -5*l + 10. Let b = -1 + n. Which is smaller: -2/93 or b?
b
Let v = 0.1284 - 0.0584. Which is greater: v or -0.05?
v
Suppose 0 = 4*o - 2*z - 0 - 6, -z = 2*o - 9. Suppose -11*v + 1349 = 1338. Which is smaller: o or v?
v
Suppose -35 = -2*h - 3*h. Suppose 0 = h*n - 5*n + 2. Which is bigger: -2/33 or n?
-2/33
Let i(z) = -3*z + 13. Suppose 3*a - 1 = -10. Let b(d) = -2*d + 12. Let p(q) = a*i(q) + 4*b(q). Let m be p(-11). Is -2 greater than m?
False
Suppose -574 = 59*c - 102. Which is bigger: c or 2/9?
2/9
Let i be (-4)/6 - (-12)/18. Let n = 1304/5 - 259. Is n greater than or equal to i?
True
Suppose 24*h = -0*h - 48. Which is bigger: -5 or h?
h
Suppose -j + 4*j + 11 = -4*n, -2*j = -n. Is j > -2/1167?
False
Let x = -308 - -13238/43. Is 1 greater than or equal to x?
True
Let u(l) = 3*l**2 - 75*l + 1. Let x be u(25). Which is smaller: 2/707 or x?
2/707
Let g(n) = -n**2 + 5*n - 4. Let f be g(3). Let c be f + ((-532)/6)/1. Let h = -86 - c. Which is bigger: 1/3 or h?
h
Let h be -3 + (-4 - -2)*-1. Let g = 16 + h. Suppose 6*j = 9*j + g. Is j bigger than -17/3?
True
Let u(g) = -g + 34. Suppose 0*y + 2*y - 3*r = 27, 0 = -2*y + 5*r + 29. Let q be u(y). Let x = 21 - q. Which is smaller: -6/11 or x?
x
Let a = -870 + 870. Which is smaller: 35/27 or a?
a
Let y be 2 - (-6 - -2 - -3). Suppose 0 = 3*n - y, -5*s - 5*n + 42 = -4*s. Let d = s - 17. Is d equal to 1?
False
Let i be (-8)/20 - (-4)/10. Suppose 0 = 4*r - l - i*l + 7, 5*r - l = -9. Let g be r + (2 - 2/11). Is 0 less than or equal to g?
False
Let z be 3144/9 + (-4)/(-6). Let q = -1758/5 + z. Which is smaller: -3 or q?
-3
Let t = -5.46 + 2.46. Which is greater: t or -184?
t
Let k(a) = a**3 + 13*a**2 + 4*a + 73. Let m be k(-7). Which is smaller: 338 or m?
338
Suppose 16 = -4*p - 2*f - 3*f, 3*f = 0. Let i be p/6*(-1)/(0 - 3). Let g = 1 - -2. Is g equal to i?
False
Let x(k) = k**3 + 7*k**2 + 5*k - 12. Let i be x(-5). Which is smaller: 15 or i?
i
Suppose 4*s - 13*s = -540. Is s bigger than 60?
False
Let l = -22 - -7. Let v = l + 15.04. Let z = 0.025 - -0.975. Which is bigger: z or v?
z
Let t(q) = -1 - 14 + 2*q + 1. Let k be t(7). Which is bigger: 1/63 or k?
1/63
Let w be 6 + (-4280)/(-25) + (-2)/10. Let v = w + -7787/44. Which is smaller: v or 1?
v
Let x(r) = -11*r. Let w be x(-4). Let o be (-6)/21 + w/7. Suppose -j = j - o. Does j = 2?
False
Let t = 4075/22 + -558/11. Which is smaller: t or 0?
0
Let x = 877 - -239. Are x and 1116 non-equal?
False
Let r = -14 + 13.6. Let c = 771 + -770.77. Which is smaller: r or c?
r
Let v = -18703/8415 + 1/2805. Which is greater: v or -3?
v
Let s be (4/15)/((-8)/20)*6. Let a be 2 - (-2)/(-4)*-2. Do s and a have the same value?
False
Suppose c + 3*x = -34, 0 = -c + x - 2*x - 30. Let d = c + 55/2. Is 0 > d?
True
Let c be (3/21)/(903/42). Suppose 5*w = 7*w - 2. Is w < c?
False
Let y = 0.62 + -0.14. Let r = y + -0.58. Is r equal to -0.9?
False
Let y be (-6 + 21/6)*(-11)/((-330)/12). Suppose -d - 2*d - 99 = 0. Let q be (-1)/(-3) + d/45. Which is smaller: q or y?
y
Suppose 3*i + 0*i = 0, 4*c - i + 20 = 0. Let y = 5 + -12. Is c at most as big as y?
False
Let q(p) = -p**3 - 4*p**2 + p + 4. Let h be q(-4). Which is smaller: h or -13/30?
-13/30
Let p(t) = 4*t + 53. Let u be p(-19). Which is smaller: u or -1?
u
Let u be (-1)/(-2)*(-8 + -2). Let a = -3 - u. Let m be (24/18)/(a/(-3)). Which is greater: -1/2 or m?
-1/2
Let j = 14.6 + -14. Let c = j + -0.8. Let h = 17/10 - 5/2. Is h not equal to c?
True
Let u = 188 + -1279. Which is bigger: u or -1092?
u
Let f be -1 - (-34105)/63054 - 0. Let p = -95/678 - f. Let o = 3/31 - p. Which is smaller: o or -2?
-2
Let f(n) = 0*n**2 - 3*n**2 + 2*n**2 - 5*n + 2*n**2 + 3. Let y be f(4). Which is bigger: -6 or y?
y
Suppose l - 23 = 4*w - 474, -5*w + 5*l = -575. Let j be w/(-180) - (-8)/20. Is j at most -3?
False
Suppose 254*d - 255*d = 102. Which is bigger: d or -105?
d
Let l be ((-1952)/(-16))/((-4)/(-10)). Let j = l - 2437/8. Let d be (-1)/1*(0 + -1). Which is smaller: j or d?
j
Let q be 6/(-4)*1*(-560)/60. Suppose -7 = -y + 8. Is q less than y?
True
Let m be (-40)/6*26/(-585). Is 0 bigger than m?
False
Let v(c) = c**2 - 10*c - 1. Let i be v(-7). Is 118 < i?
False
Let p = -22789/620 + 147/4. Which is greater: p or 1?
1
Let b be (-2 + (-4 - -2)*-1)/(-2). Let s be (-2)/4*(-35 - (b - -3)). Which is smaller: 0.2 or s?
0.2
Let r(h) = h**2 - 4*h - 19. Let w be r(4). Is -16 equal to w?
False
Let z = -150 - -7048/47. Let x be (2/(-13))/((-524)/1703). Which is smaller: x or z?
z
Suppose -15*g + 12 = -9*g. Does g = -1.23?
False
Let d = 5244462/1495 + -3508. Which is greater: d or -1?
d
Let z = 151.1 - 1.1. Is z equal to -1?
False
Let u = 0.46 + -0.2. Let d = 0.26 - u. Which is bigger: d or 1.6?
1.6
Let b = -451 - -445. Is b not equal to -57/8?
True
Let l be 2 - 9/(-6)*8/6. Let t be (-26 - 8) + (-3)/((-6)/l). Is t less than -32?
False
Suppose 0 = -j + 4*m - 11, 0*m - 4 = -2*m. Let r be 2*49/(-6)*j. Is r bigger than 48?
True
Let i = 11616 - 11657. Suppose 0 = -3*d - 82 - 35. Is i at most as big as d?
True
Let c be 39 + (-3 - (2 - 8)). Let d = 29 - c. Let o = 18 + d. Which is bigger: 2 or o?
o
Suppose -274 = -51*u + 134. Which is smaller: 12 or u?
u
Let x = -1257 + 1254. Let d = 3.1 - 3. Is d not equal to x?
True
Let g be (-12)/(-40) - (-3346)/(-20). Which is greater: -169 or g?
g
Let x = -12.987 - 0.013. Let c = x + -14. Which is smaller: 2 or c?
c
Suppose 0*v + 4*v + 4*f = -40, 3*v + 4*f + 29 = 0. Let l = v + 48/5. Which is smaller: 0 or l?
l
Let r be 20/(-12) + (240/18)/8. Which is bigger: -2/2365 or r?
r
Let n = 1632/7 - 24403/105. Which is bigger: 2 or n?
2
Let x(r) = r**2 - 12*r + 53. Let p be x(9). Is 25 > p?
False
Suppose -5*l = 5*u - 40, -20 = -4*u - 5*l + 13. Suppose -8*s + u = -1. Is s not equal to 1/206?
True
Let s(k) = k**2 + 14*k - 36. Let l be s(-16). Let w be (l - -2)*(3/2 + 1). Suppose -n - n + p = 6, n + 3 = 5*p. Is w at most as big as n?
True
Let j = 4.8 + -6. Let c = 0.1 + -2.9. Let i = j + c. Is i at most -1?
True
Let p be 16/(-3)*-3 - (3 + 0). Is p <= -7?
False
Let f = -1 - 0. Let k = 19.2 + -10.2. Is f equal to k?
False
Let c = 56 + -40. Suppose -i - 2 = 0, 4*b - 2*b - 3*i = c. Suppose -s + 6*s + 2*h = b, 10 = -2*h. Is 15/4 at most s?
False
Let p = 40 + -34. Suppose p = -f - 2*f + 3*a, 2*f - 5 = -a. Let x = -77/2 - -2999/78. Is f >= x?
True
Let o = -3 + 72. Is 1 > o?
False
Suppose 0 = -o - 2*y + 8, 7 - 31 = -3*o + 2*y. Suppose o*u - 7*u - 28 = 0. Is 28 > u?
False
Let a = -3.9 + 3.868. Let y = a - 1.968. Is y not equal to 0?
True
Let h = -0.14 - -2.14. Let c = 40.9 - 43. Let r = c + h. Are 13 and r non-equal?
True
Let v be -9 + 4 + 84/(-9)*1. Which is bigger: -14 or v?
-14
Let d(f) be the second derivative of -f**5/20 - f**4 - 2*f**2 + 3*f. Let v be d(-12). Let k be (14/v + 3)/(-1). Is 2/3 equal to k?
False
Let g be 112/616 + 510/(-22). Is g at most -414/17?
False
Let d = 553 + 260. Which is greater: 814 or d?
814
Let p = -4 + -7. Suppose 112190*c = 112208*c + 198. Is c bigger than p?
False
Suppose 3*h - 11 = -2*r, 6*r - r - 11 = -2*h. Suppose 2*t - r = 7*t + 4*w, w = -4. Is 3 greater than t?
False
Suppose -2*n + 3*f + 3 = 0, 5*f + 24 = n + 12. Let w be 1/((4/18)/2). Which is bigger: n or w?
w
Let b be (-2)/(-8)*(-16 + 28). Let l = 29/14 - 4/7. Which is greater: b or l?
b
Suppose 0 = 9*p - 90 - 36. Let w be (-21)/27*(-4)/p*1. Which is smaller: 0.1 or w?
0.1
Suppose j - 2*l = -0*l + 35, -127 = -5*j - 2*l. Let t = j - 0. Is 26 at most t?
True
Let b = 71.94 - 72. Let q = b + 0.19. Which is smaller: 0.1 or q?
0.1
Let v = 0.4078 - 0.0078. Which is smaller: 2/67 or v?
2/67
Let f 