 j. Do o and -69/2 have different values?
True
Let k be (-17)/((-102)/(-36)) + 0. Suppose -28*i + 131 - 467 = 0. Which is bigger: k or i?
k
Let t = -10302/165295 - -2/2543. Which is greater: t or 0?
0
Suppose -11*c + 37 = 81. Let s be (-1*(-8)/(-16))/(2/c). Is -18/59 less than s?
True
Let l(n) = n**2 - 9*n + 9. Let i be l(6). Let z = -104 - 208. Let w = 312.1 + z. Are w and i nonequal?
True
Let j = -1375885.9763 + 1375670. Let x = -0.0237 + j. Which is smaller: x or -2/7?
x
Let x = -112 - -28. Let p be (x/(-70))/((-9)/(-555)). Is 74 smaller than p?
False
Let q = -1427 + 1624. Which is bigger: 589/3 or q?
q
Let g be (-173292)/308*2/6. Let y = 188 + g. Which is smaller: y or -1?
-1
Let r = 6.31 - 2.41. Let p = 0.01 - -0.09. Which is smaller: r or p?
p
Let u be (24/(-42) - -1)/(2/14). Suppose 4*k + 3*r = 79, 4*k - u*k + 4*r - 36 = 0. Do 9 and k have different values?
True
Let i = 2 + -1.9. Let z = -68 - -71. Let f be (55/(-20))/11 - z/4. Is f > i?
False
Let r = -388 + 5798/15. Let n be (-64)/200*35/14. Let g = n - r. Are g and -0.1 unequal?
True
Suppose -243*f - 261*f = 91*f. Suppose -2*a = a + 498. Let n = 14112/85 + a. Is n equal to f?
False
Let a = -3377 - 13256. Is a equal to -16632?
False
Let o = 1208 - 2004. Is o at most -800?
False
Let y be (6/228)/(2/48). Suppose 5*p = -j + 31, j + 1226 = 3*p + 1209. Is y greater than j?
False
Suppose 16*d + 2900 = -17*d + 178*d. Suppose -15 - 42 = -3*w. Suppose -1 = -d*v + w*v. Which is smaller: -0.6 or v?
-0.6
Suppose -3*h = 824 + 22. Let k be -3 - 7/(-2) - h/(-4). Let a = 70 + k. Which is smaller: 2.6 or a?
a
Suppose 0*q - 3*q - 279 = 0. Let j = -819 - -651.9. Let i = 167 + j. Which is bigger: q or i?
i
Let h be 39172/40 - (-6 - (-66)/12). Is 979 less than or equal to h?
True
Let s = 2948 + -3121. Which is smaller: s or -2/43?
s
Let j = 383.19 + -396. Which is bigger: j or 2/7?
2/7
Suppose -4*q = q - 45. Suppose f + 4*w - q = 10, 5*f - 20 = -5*w. Let g be (-2)/17 + 3552/(-11424). Which is smaller: g or f?
f
Let u = -47 - -102. Suppose -u - 25 = -40*q. Which is greater: q or 0.1?
q
Let c be 388/(-30)*(123 + -180). Which is bigger: c or 738?
738
Let b be (-4)/(-3) + 36001/(-26985). Let g = b + -3671/236440. Is 0 < g?
False
Let c = -35869 + 35855. Let s = 10 + -28. Do c and s have different values?
True
Let v = 3146 - 3037. Which is bigger: v or -3/2?
v
Let z = 0.1 + -0.3. Suppose -n - 5*n - 12 = 0. Let d be n/(-2) - 297/216. Is d bigger than z?
False
Suppose -2 = 2*c, 46*i - 2*c - 2 = 45*i. Which is bigger: 1/108 or i?
1/108
Let g = -0.51 + 0.138. Let c = g + -2.968. Let y = -3 - c. Which is smaller: 0 or y?
0
Suppose 3*o - 112 = -u + 2476, 0 = -5*o - 4*u + 4325. Is 859 bigger than o?
False
Let f be 660/(-77)*1015/10. Let z = f - -7822/9. Let t = -0.3 - -0.4. Is z equal to t?
False
Let r(a) = -a + 2. Let y be r(2). Suppose -4*l - 4 - 9 = 3*u, y = -4*u + 4*l + 20. Which is smaller: u or -4/65?
-4/65
Suppose 5*t = -2*z + 45, 2*z + 3*z + 2*t - 144 = 0. Let i(f) = -z*f + 63*f - 32*f. Let d be i(1). Which is greater: 4/41 or d?
d
Let v(d) = -d**2 - 19*d - 8. Let s be v(-20). Suppose 4*p - 83 = 381. Suppose -3*u - p = u. Is u less than s?
True
Let i = 610 - 609. Which is smaller: 7/3 or i?
i
Suppose -3*h = -4*x - 432, 11*x - 10*x - h = -108. Is x at least as big as -113?
True
Let a(v) = 3*v**3 - 14*v**2 - 3*v - 267. Let o be a(11). Which is smaller: o or 1997?
1997
Suppose -4*s + 3 = -5*s. Let w(r) = -r**2 - 27*r + 76. Let j be w(-29). Suppose -12*y = -j*y - 36. Which is greater: y or s?
s
Let b = 475.02 + -6.02. Let t = -469.2 + b. Is -64 at most t?
True
Let u = 16073/294840 + -32/567. Which is bigger: u or -1?
u
Let g = -2438.016 + 2429. Let t = g - -0.016. Let o = -81 + 81.2. Is o > t?
True
Let c be 476/714*(339/14)/3. Which is smaller: c or 4?
4
Let j be (-159 + 5)*2*-1. Which is bigger: j or 2762/9?
j
Let s = -5 + 4.999. Let n = 0.2 + -0.229. Let i = s + n. Which is smaller: 1/2 or i?
i
Let b be -17 + -3394 + 10 + -30. Is -3433 less than b?
True
Let a = -0.04 + -0.76. Let s = 0.2 - a. Let r = -157 + 157.02. Is r equal to s?
False
Suppose -r + 92 = c, -5*c + 293 = -4*r - 185. Are c and 95 non-equal?
True
Let m(y) = y**3 - y**2 - 2*y + 13. Let f be m(0). Let r = 88 - 89. Let n be (12/2)/(-2) + (12 - r). Which is smaller: n or f?
n
Let l = -251/581 - -2/581. Let p = 8.5691 + 0.2749. Let j = -0.844 + p. Is j at least l?
True
Suppose 7*w + 36 = 16*w. Suppose -l - 10 = 3*d, w*l + 11 = -5*d - 8. Which is greater: l or 2/757?
2/757
Let n = -51976405/204 + 1019503/4. Let r = 268/3 - n. Which is smaller: r or 4?
r
Let z = 323.717 - -0.283. Let l = z - 324.28. Is 0.06 less than or equal to l?
False
Let q = 317.89 - 321. Let o = 25.5 - 28.5. Let f = q - o. Is 3 greater than or equal to f?
True
Suppose -2*v + 42 = 2*a, 4*v - 7*a - 66 = -2*a. Let c be ((-4)/(-6))/(18/2214)*1. Let p = v + c. Is 101 at least as big as p?
True
Let v be 127/(-28) - (-2)/8. Let z be -27 - (-4 - -7 - 11)*3. Which is bigger: z or v?
z
Let c be 2*(-5)/2 + -81*16/(-552). Which is smaller: -4 or c?
-4
Suppose -580 = -5*o + 4*t + 3196, 2*t + 1512 = 2*o. Is o >= -1/3?
True
Let l = -118 + 122. Let p(a) = -2*a + 8. Let z be p(l). Are -23 and z nonequal?
True
Let l = -0.16 + 4.16. Let m = 1/860 + -1377/860. Which is bigger: m or l?
l
Let o(g) = -g**2 + 4. Let m be o(-5). Let p(z) = z**3 - 12*z**2 - 15*z + 6. Let l be p(13). Let v = m - l. Which is greater: 0.14 or v?
0.14
Let m be 5/(-1) + (-5 - (-17017)/1701). Let u(r) = 4*r - 35. Let x = 64 + -55. Let v be u(x). Which is smaller: v or m?
m
Let k = 9005 + -4447. Let t = -9283/2 + k. Which is bigger: t or 1/4?
1/4
Let f be ((-12)/(-9) - 0)*(-8 + 5). Let n be (42/9 + f)/((-2)/(-6)). Suppose -5*u + 47 = n*i, i + 0*u + 5*u = 21. Is i < 2?
False
Suppose -11*c - 4*u + 96 = -7*c, -5*c + 85 = -2*u. Are c and 36 nonequal?
True
Let p(j) = j**2 - 27*j + 160. Let c be p(-25). Are c and 1460 unequal?
False
Let q = -1.6769 + 67.6769. Let b(i) = i**3 - 8*i**2 - 8*i - 10. Let o be b(9). Which is smaller: o or q?
o
Let k be 279120/(-420300) + 8/12. Which is smaller: 0 or k?
0
Let l be (6/(-21))/((-47)/(-36519)). Which is greater: l or -3?
-3
Suppose -184*r + 180*r - 1226 = s, 3*s + 3722 = -r. Is -1241 < s?
False
Let x = -0.08 + 14.88. Let n = x + -19. Let r = 4.6 + n. Is 5 less than r?
False
Let l = -45 - -36. Let p = -5469 - -5469.16. Is p not equal to l?
True
Let d = 82/323 - 27976/72029. Is 0 at most as big as d?
False
Let g be (-1749356)/134568 + (-39)/(-3). Is -1 >= g?
False
Let n = 71.35 + 1.65. Let s = n + -72.8. Let p(i) = i**2 + 7*i + 3. Let m be p(-6). Which is smaller: m or s?
m
Let b be 74*1 - 24/(-3 + 15). Suppose -4*x + 5*x + 2 = 0. Is b <= x?
False
Let m = 546 + -193. Let j(k) = k**2 - 18*k - 528. Let x be j(40). Is x > m?
False
Let f = -1841/60282 + 2/1773. Let y = f - -6/493. Which is smaller: y or 0?
y
Let s = 2 + -9. Let g = -430 - -758. Let i = 1598/5 - g. Which is smaller: i or s?
i
Let r = -9.37 - -9.27. Which is smaller: r or -0.09?
r
Suppose 12*o = 3*o + 135. Suppose 0 = -2*f - 14*a + o*a, 4*a - 7 = f. Is 2/1465 smaller than f?
True
Let c = -29593.6 + 29592.6. Let g = 2.11 + 0.09. Which is smaller: c or g?
c
Suppose -4*a = o + 6134, -3*a - 2018 = -11*o + 2559. Is -1533 > a?
False
Let p = 9070.7 - 1404.7. Which is smaller: p or 0.1?
0.1
Let x(r) = -r**3 + 16*r**2 - 67*r + 36. Let j be x(9). Is j <= 1/1199?
True
Let m = -8934/11 + 33347/33. Does 197 = m?
False
Let y(o) = o - 25. Let s be y(21). Let p be 5/s*(2 - (-430)/(-20)). Are p and 23 nonequal?
True
Let g = 262 - 180. Let h = 89 + g. Let r be 51/h + (-2)/6. Is r at most 0?
True
Let o(g) = -g**2 - 11*g - 2. Let z(a) = -a - 1. Let b(y) = o(y) - 3*z(y). Let c be b(-7). Suppose -m - x = c, 5*m - 3*x + 13 = -11. Which is smaller: m or -1/9?
m
Let f(x) = x**2 - 22*x + 37. Let p be f(19). Let r be (-37)/(-5)*(-250)/100. Which is smaller: r or p?
p
Let a be -3 - (-11 - (1 - 5)). Suppose -4*r - 3*f + 2 = -6*f, -a*f = 4*r + 12. Let u be (87/93 + r)/(10 - 7). Which is bigger: u or 1?
1
Suppose 154 = -56*j + 59*j - 2*h, 5*j - 2*h = 258. Is 33 at most as big as j?
True
Let s = 566/285 + -22/57. Let f = 48 + -46.73. Let b = f - 0.27. Is s equal to b?
False
Let b = 137 - 148.7. Let n = -100.7 - b. Let t = -89 - n. Which is smaller: 1/14 or t?
t
Let 