 o?
False
Let a be (-56)/11151*30/40. Let o = -34501/3717 + a. Which is bigger: o or -9?
-9
Suppose 2*y + 3*s = 29, 38 = 2*y - 7*s + 11*s. Which is smaller: -5/1583 or y?
-5/1583
Let z = -848 + 495. Let b = z + 354.4. Let n = -1 + 1. Which is greater: n or b?
b
Let k = -14 - -237536/16967. Is 1 greater than k?
True
Let n be 258*68/153 + (-4)/(-3). Which is greater: n or 1151/10?
n
Let c(t) = 5*t**2 + 115*t - 1049. Let i be c(15). Which is smaller: i or 1794?
1794
Let n = 188 - 165. Suppose 49 + n = j + 2*i, -147 = -2*j - 3*i. Do j and 153/2 have the same value?
False
Let n = -822 - -15613/19. Let t = -32671 + 32672. Which is bigger: t or n?
t
Let g = -150400916/4501 + 33415. Which is bigger: -1 or g?
g
Let o = 0.2643 - 0.3743. Is -4/79 at least o?
True
Let g = -211/63 + 27406/63. Are g and 432 equal?
False
Let i be ((-9)/(-6))/((-3)/8). Let t be (8/(-208)*-13)/(2/(-7 + -1)). Are i and t unequal?
True
Let c(t) = t - 39 - 64 - 5*t + 18. Let f be c(-22). Is f at most 3?
True
Let g = -236 + -472. Let a = g - -703. Is a at most -65/14?
True
Let p = 0.0544 - 2.5444. Let z = -3.49 - p. Do 173 and z have different values?
True
Let k(x) = x**3 - 19*x**2 + x - 16. Let m be k(19). Suppose -2*z = -10, a + 20 + 0 = m*z. Let n = a + -24. Is -29 > n?
False
Suppose 7*l + 70 = 2*l. Let z = 12 + -11. Let i be (48/15)/(z/(-5)). Is i <= l?
True
Suppose 22*u - 642 + 6032 = 0. Let i = u - -508. Which is greater: 0 or i?
i
Let b(y) = 5*y + 142. Let s be b(-34). Let h be (-4)/14 + (-204)/s + -5. Do h and -14 have the same value?
False
Suppose 3*k - 458 - 182 = -4*o, 3*o + 1115 = 5*k. Which is bigger: k or 221?
221
Let g = -3.03 + 5.03. Suppose -6 = -4*q + 2. Let o be (-20)/8 + 2 + q. Is o equal to g?
False
Let c be (((-340)/90 - 8)*3)/((-2)/(-6)). Which is smaller: c or -109?
-109
Suppose 0 = -30*y + 53*y. Do -22/271 and y have the same value?
False
Suppose r + v - 143 = 0, -3*r - 685 = -8*r + v. Suppose 118*i + r = 116*i. Is -68 less than i?
False
Let z(r) = 3*r**2 + r. Let j(v) = v**2 - 13*v + 10. Let p(n) = -j(n) + z(n). Let u be p(-9). Are u and 25 unequal?
True
Let o = -7550 + 7540. Let s = 5/421 + -22338/2105. Is o <= s?
False
Suppose 5*k - 15*c + 17*c - 54 = 0, -150 = -17*k - 2*c. Is k less than 215/31?
False
Let p = 1/130 - -51/130. Let b be -1 + 15505/(-155) - (-2 - -2). Let u = b - -101. Are p and u equal?
False
Let u = -502 - -500. Let v be 1*((-534)/9)/u. Is 30 at most v?
False
Let z = -35.1 - -41.68. Let f = z - -0.42. Let g = 1.8 - 2.8. Which is smaller: g or f?
g
Let x = 9553 - 7730. Is 1826 less than or equal to x?
False
Let s = 127 - 42. Let n = s + -73. Suppose -2*l + g = 3, -4*l = -3*g - g + n. Which is greater: -3/11 or l?
l
Let f = -82.2452 + 0.0452. Let u = 83 + f. Is u != 2/11?
True
Let x = 54.9 - 55.65. Let z = -19 + 19.1. Is z greater than or equal to x?
True
Let d = -1459 - -2793. Let y = d + -542. Let o be ((-2)/(-5))/(y/60). Which is smaller: 0 or o?
0
Suppose 2*v = -5*j + 10652, -4*v = -0*v - 2*j - 21256. Let a = v - 3779. Let s = a + -9265/6. Is s at least -8?
True
Let h = 60.76 + 1.24. Let g = h + -63. Let p = 3 - -8. Is g != p?
True
Let s be 1/9 + (-1726732)/(-1449). Suppose -26*p + 41634 = 10642. Let d = s - p. Which is smaller: 0 or d?
d
Let o = -520 - -540. Suppose 16 = 4*g, -16*z + 13*z = -2*g + o. Which is smaller: z or 3?
z
Let g = 316 - 234. Suppose 2*h - 4*h + c = g, -5*h - 205 = -4*c. Is h bigger than -41?
False
Let o be (338/(-5))/((-628)/(-1570)). Is -2 <= o?
False
Suppose 2147 = -130*n - 17189 - 2504. Is n less than -175?
False
Let x = -8394 - -159378/19. Is -6 at least as big as x?
False
Let p = 9 + -7. Let k be p - (-5)/((-475)/210). Suppose 0 = -4*y + 4 - 0. Which is bigger: k or y?
y
Suppose -68*p + 118733 = -31*p. Which is bigger: 3210 or p?
3210
Suppose 5*k = -4*a + 38 - 3, 5*a - 19 = 2*k. Suppose -4*x = a*l - 0*x + 962, x - 2 = 0. Which is bigger: -191 or l?
-191
Let j(r) = -10*r**2 + 11*r + 41. Let f be j(-5). Let n be f/110 - 1/1. Is n at least as big as -2?
False
Suppose 2*q - 810 = 16*q + 954. Is q less than or equal to -104?
True
Let p = 17255.18 + 411.82. Which is greater: p or 0.1?
p
Suppose -1312 = -33*b + 1526. Are 101 and b equal?
False
Suppose -3*o + s - 21 = 0, -8 = -2*s - 2. Let j be o/(-32)*(-4)/36. Let y(g) = -g**3 + 8*g**2 - 18*g + 145. Let c be y(8). Which is bigger: j or c?
c
Let u be 1 + (2 - 2 - -4). Suppose 7*b = u*b - 4. Let n be (1 - b)/(2 - (7 + 0)). Which is smaller: 0 or n?
n
Let l(c) = -c**2 - 19*c - 16. Let h be 13/(-1) - (6 + -10) - -4. Let r be 17*18/(-15) + (-2)/h. Let m be l(r). Which is smaller: -37 or m?
-37
Let z(h) = -6*h - 11 - 6*h + 18*h - 5*h. Let g be z(12). Let t be g/((-20)/6 + 3). Which is smaller: 1 or t?
t
Let c = 25.4509 + -11.5786. Let k = -0.1277 - c. Let l = -1 + 0.8. Which is bigger: l or k?
l
Let h = 70866 - 2338973/33. Which is smaller: h or -11?
h
Let r = 11.922 - -0.078. Let j = 68 - 68.4. Are r and j nonequal?
True
Let t = -0.03 + -0.37. Let l = -0.417 - t. Let x = -1.983 + l. Which is smaller: x or 1?
x
Suppose 3*g - 87 = -4*h, -24*h - 177 = -5*g - 20*h. Let p = 5.5 - 5.3. Is p at least as big as g?
False
Suppose 4*x - x = 9. Suppose 0 = 2*o + 6, 0*o + 69 = -x*p + 2*o. Suppose -3*z + 4*i - 51 = 13, i = z + 22. Is p bigger than z?
False
Let o = -79/2 - -7507/190. Let k(u) = 245*u + 20580. Let s be k(-84). Which is greater: s or o?
o
Let y(z) = 188*z + 4617. Let b be y(-15). Which is greater: b or 1799?
1799
Let b = 175 - 79. Let y = -98 + b. Let x be (y/8)/((-1)/(57/6)). Is x != 3?
True
Let o = -4737 - -4736. Is -855 >= o?
False
Let x = -9274/99 - -1006/11. Which is bigger: 0.07 or x?
0.07
Suppose -5*j - 5*u = -6 + 11, -5*u = -3*j + 29. Suppose 2*k - 2 + 88 = 4*p, 129 = -j*k - 3*p. Which is greater: k or -45?
k
Let g be (-1600)/(-15) - 10/15. Let p = 21 - g. Let q = p + 83. Which is greater: q or -8/7?
-8/7
Let s be ((-2)/2)/(17/(-289)). Which is smaller: s or 21?
s
Suppose 9 = -3*c + 24. Suppose -g + c = -8. Suppose -37 + 69 = t + 3*y, 0 = -3*t + 3*y + 24. Which is greater: t or g?
t
Let f = 25 + -15. Suppose 0 = 33*o - 4*o. Suppose 0*n + 5*u - 14 = n, -4*n + 2*u + 34 = o. Which is smaller: f or n?
f
Let i be 4 - (0 - 1 - 0). Let n be (-2)/((2/(-90))/((-12)/36)). Let a be n/(-7)*(14/(-5) - -4). Which is smaller: i or a?
i
Suppose -3*g + 665 - 656 = 0. Let b be (48585/8100 + -6)/(g/8). Is -1 != b?
True
Let j = -457.16 + -8.84. Let r = -470.4 - j. Which is smaller: r or 6?
r
Suppose 0 = 8*t - 150 - 138. Let y be (-1)/(-6)*t/(-4). Is 2.3 greater than y?
True
Suppose 22170 = 17*v - 48*v - 15185. Are v and -1204 nonequal?
True
Let r(p) = p**3 - 5*p**2 + 2*p - 4. Let g be (0 + (-2)/(-5))*5. Let i be r(g). Suppose 0 = 7*v - 2*v + 50. Are i and v nonequal?
True
Let z(o) = -4*o**2 - 38*o + 435. Let l be z(11). Which is smaller: -470 or l?
-470
Suppose 838*o + 19124 = 840*o - 5*i, 0 = -2*o + 2*i + 19136. Is o less than or equal to 9573?
True
Suppose -9757 + 31982 = 127*r. Is 2976/17 greater than r?
True
Let k be -1*38*20/260. Which is smaller: -2/5 or k?
k
Let n = -0.05 + -1.95. Let z be -2 + -2 + 29 - 49300/(-870). Is z at least as big as n?
True
Let a = 0.0136 - 21.7136. Let r = a - -21.21. Which is greater: 1 or r?
1
Let j = 0.155283 + -0.072283. Let t = -133/85 - -30/17. Which is bigger: j or t?
t
Let d be ((-9)/18)/((8/160)/(1/38)). Which is smaller: d or -19/3?
-19/3
Suppose 1375*l = 1400*l. Is -2/14565 bigger than l?
False
Suppose 0 = 27*o + 320 + 1138. Let u = 53 + o. Which is bigger: u or -1/15?
-1/15
Let k be (-1)/(-4) - 303/1308. Suppose 2642 = 6*n + 614. Let g = n + -339. Is k != g?
True
Let i(m) = m - 7. Let l be i(10). Suppose l*o = -0*o + 15. Suppose 4*v + 23 + 0 = -o*j, 0 = 3*v + 2*j + 12. Which is smaller: -8/7 or v?
v
Let k = 17341089/25 - 157410124/225. Let b = k + 5957. Which is bigger: b or 1?
1
Let t = -18 - -8. Let a(u) = -19 + 9*u - 7*u - 10*u - u**2. Let j be a(t). Are j and -39 nonequal?
False
Let j = 531 - 820. Suppose -1992 - 1225 = 16*y + 1391. Is y at most j?
False
Let u = 1449 + -1451. Let r be -1*(-56)/76*-3. Which is bigger: r or u?
u
Suppose 5 = 2*u - 5*d, -7*d + 2*d - 35 = -4*u. Let h(o) = 4*o**2 - 47*o + 33. Let i be h(11). Suppose 10*v + u - 95 = i. Which is smaller: 9 or v?
v
Let i = -61/34 + 5/17. Let p = 0.001 - 0.171. Let u = 