)/(-6). Suppose 3*n - j*n = -92. Let r be (-1)/(-18)*(n - -1)/(-6). Is r < -15?
False
Suppose -1049 = -70*y - 5459. Which is smaller: y or 16?
y
Let i = -0.256 + 0.2025. Let f = 0.0535 + i. Which is smaller: f or 236?
f
Let v = 0.09 - 5.09. Let w = 6 + v. Let k = 1.239 + -1.169. Which is smaller: w or k?
k
Let r be 2/(-5) + (-17)/(-5). Suppose 0*i = -5*f + r*i + 41, -2*f + 4 = 5*i. Suppose -f*u + 16 = 30. Is u smaller than -3?
False
Suppose 45 = -3*o - 12. Let h be o/(6/(-3) + (-3)/(-2)). Which is smaller: h or 41?
h
Let k = -30132 - -30127.12. Which is greater: k or 1/3?
1/3
Let w be (-5464260)/(-28350)*-1*5. Which is bigger: -964 or w?
w
Let s be (-1225)/280 - ((-6)/16 + 0). Suppose 5*c - 2*n + 16 = -0*n, -2 = -5*c - 4*n. Let g be 1/((-3)/(-6)) + 13/c. Which is greater: g or s?
s
Let d be 15/6*(-5)/((-34525)/6). Is d bigger than 0?
True
Let r(k) = k + 11. Let z be (-158)/14 + 36/126. Let x be r(z). Suppose x = 38*i - 40*i - 4. Is -22/9 less than or equal to i?
True
Suppose -36*b + 516 = -33*b. Suppose 166*t = b*t + 66. Is -16 != t?
True
Let k = -352 - -309. Let v(s) = 7*s - 7. Let y(n) = -29*n + 27. Let p(r) = 9*v(r) + 2*y(r). Let b be p(-7). Are k and b equal?
False
Let n = -936 + -105. Let c = n - -1099. Which is greater: c or 1/3?
c
Let s = -2488.6631 + -0.3369. Which is smaller: 1/4 or s?
s
Suppose 17*w + 3119 = 35113. Which is smaller: w or 1?
1
Let g be 8*4/((-16)/(-5)). Let o be 2/g + (-30)/25. Which is greater: o or -1/66?
-1/66
Let x be (-52)/((-3)/(-180)*1). Let y be ((x/9)/(-8))/(8/12). Is 63 at least y?
False
Let y(t) = t**2 + 3*t - 1. Let l be y(-6). Let r be l/51*(-1 + -5). Which is smaller: 1 or r?
r
Let x = -24.9 - -21. Let l = x - -4.4. Which is smaller: -19 or l?
-19
Suppose 133*z + 121*z = 68*z - 2418. Which is smaller: -277 or z?
-277
Suppose 3*l - 31 + 25 = 0. Suppose l*t + 2 + 22 = 2*d, 0 = 5*t + 10. Are d and 82/9 equal?
False
Let w = 7653/55 - 1524/11. Are w and -136 nonequal?
True
Let w = 21950 + -21948.26. Let m be 2*(-1)/2*1. Which is greater: m or w?
w
Let h(o) = -57*o + 1025. Let i be h(18). Let j be 2/(-6) + 4088/6. Let q = j + -5455/8. Which is smaller: i or q?
i
Let h = 2345 - 49223/21. Which is bigger: h or 2?
2
Let s = 911/71 + 299656/213. Is s <= 1419?
False
Let v(o) = -o**2 - 10*o - 15. Let j be v(-6). Suppose -g = -4 + j. Let c(i) = i**2 + 4*i - 4. Let m be c(g). Is m at least as big as 2?
False
Let q(h) be the first derivative of 18*h**2 - 39*h - 3. Let z be q(7). Is 213 smaller than z?
False
Let l be -35*4*4/(-80). Suppose w = 4*o - 0*w + 59, 0 = -2*o - 5*w - 13. Let u be 4/o + (-159)/l. Are -23 and u equal?
True
Let a(r) = -164*r + 1480. Let u be a(9). Is u smaller than 105/29?
False
Let b = -24396 - -21518. Which is bigger: b or -2877?
-2877
Let l(v) = 93*v**2 + 1578*v - 52. Let z be l(-17). Are z and 9/2272 unequal?
True
Let j = 0.157 - -0.175. Let r = j - 0.625. Let i = r - -0.083. Is 0.1 > i?
True
Let j = 2854.569 - 2853. Let x = j - 0.089. Let a = 2.68 - x. Is -1 greater than a?
False
Suppose -873 + 17 = 4*s. Let p = s - -213. Is p at most as big as -6/25?
True
Let w be (1/3)/((-8)/(-288)). Suppose 3*u - 30 = w. Suppose -24 - 16 = -3*a + 2*c, a - 3*c - 4 = 0. Which is smaller: u or a?
u
Let v be 21 + 1379/(-63) - 49/(-126). Let j = -17 + 8. Let u = j - -90. Which is greater: u or v?
u
Let y = 351.499 - 0.699. Let j = -351 + y. Which is bigger: -16 or j?
j
Suppose -1237*t + 1272*t = 0. Which is smaller: -2/40977 or t?
-2/40977
Suppose -o - 4 = 5*u - u, 3*o - 5*u - 22 = 0. Suppose o*x + 121 = -23. Let c = 5194 + -5231. Which is smaller: x or c?
c
Let u = 5948 - 1449. Is u less than -1?
False
Suppose -m = -2*l - 7, 3*m - 14 = 4*l + 3. Let w(x) = x**2 - 8*x - 20. Let n be w(l). Which is smaller: n or -2/49?
-2/49
Let a be (-36510941)/4245960 + (-43)/(-5). Suppose 0 = 4*h - h. Is a at most as big as h?
False
Let g = 5981 + -5973. Which is smaller: 0.458 or g?
0.458
Let w(a) = -11*a**3 - 73*a**2 - 41*a + 6. Let c be w(-6). Which is smaller: c or 1/2076?
c
Suppose 3*r + 33488 = z, 14*r + 2*z = 19*r + 55813. Is -11165 bigger than r?
False
Let t be (18/(-6))/(17/255). Which is smaller: t or 16?
t
Suppose 127 = 18*v + 109. Let d = -4349/530 + 83/10. Which is smaller: v or d?
d
Let d = -39251 - -39234. Are d and -796/51 nonequal?
True
Let j = -220.7 + 185. Let k = j - 11.3. Which is smaller: -0.1 or k?
k
Suppose 1205 + 271 = -12*s. Let g be (2 + 1)*1 - s/9. Which is bigger: g or 17?
17
Suppose -b = -3*b + 2, -4*i - 5*b + 1 = 0. Let c = -208 + 102. Let t be 26/4 - (-53)/c. Do i and t have the same value?
False
Suppose 0 = -0*d - 51*d + 1683. Is d != -41?
True
Let c = 304 - 340. Suppose 3*r = 5*m - 457, 4*m - 282 = 3*r + 83. Let x = c + m. Which is smaller: 55 or x?
55
Let f be 43/9 - 74/(-333). Let q = 1 + -2. Which is smaller: f or q?
q
Let u be 2/(-7) - (580/(-7))/(-4). Let n be (4 - -2)*15/9. Let j be 4/u*n/20. Is 0 at most as big as j?
False
Let d = 1395.1 - 1395. Which is greater: d or 277/5?
277/5
Let g(b) = -b - 1. Let w be g(5). Let y be ((-102)/(-12))/((-1)/2 - 0). Let t be y/2 + (9 - 48/8). Does w = t?
False
Let t = 2408 - 2275. Suppose 2*l - 7*l = -660. Which is smaller: l or t?
l
Let b = -327 + 135. Let m be (8/18)/1*(-24)/b. Do -1 and m have different values?
True
Let a(u) = -u**3 - 10*u**2 - 15*u + 11. Let y be a(-8). Let d be 3*-1 + 585/(-18). Let n = -34 - d. Is y not equal to n?
True
Suppose 0 = 50*a - 58*a + 40. Suppose -176 = a*t + 4*m, -140 = 4*t + m + 2*m. Which is greater: t or -31?
-31
Let z = -2002 + 2506. Suppose -31*y = -26*y - 2525. Which is greater: z or y?
y
Suppose 3*u - 3 = 2*u. Suppose 0 = 5*b + 10, -16 = u*q - 5*q + b. Suppose -q - 20 = 9*o. Which is greater: -0.1 or o?
-0.1
Suppose -2*p + 10 = -4*j, -j - 4*p + 0*p + 20 = 0. Let q be 8 - (-108)/(-12) - (0 + 273/(-111)). Do q and j have the same value?
False
Let q = -10.301 - -10.381. Which is smaller: -1/71 or q?
-1/71
Let a be (-38)/9*(-1206)/134. Which is bigger: a or 0.136?
a
Let r = 8203884/11 + -745313. Let n = r - 495. Which is smaller: n or -1/2?
-1/2
Let o(p) = 8*p**3 - 175*p**2 - 28*p + 101. Let b be o(22). Which is smaller: b or -53?
-53
Let j = 2015.63 + -2015. Are j and 20 equal?
False
Let p = -36 - -19. Suppose -9*y + 4 = -23. Suppose -f + z = f + 39, 0 = y*f - 3*z + 63. Which is smaller: f or p?
f
Suppose -12 = -4*f - 0*f. Let k be ((-15)/585)/(2/366) + 7. Is f less than k?
False
Let i = -20 - -29. Suppose -3*u - 4*z - 18 = 0, 5*u + 12 = 3*u + z. Let q be (28/u)/((-18)/27). Is q at least as big as i?
False
Let x be 1/6*(-12)/(-15). Let y = 89 - 160. Let u = -73 - y. Is x at least as big as u?
True
Let w = 0.6413 - -75.3587. Let q = 62 + -141. Let r = w + q. Do r and -3 have the same value?
True
Suppose -200*x - 44322 = -22*x. Is -249 less than x?
False
Suppose 3*v + 17 - 2 = 0. Let c(m) = m**3 + 22*m**2 + 38*m - 42. Let j be c(-20). Which is greater: j or v?
j
Let v be (-8 + 6)/((-4)/6). Suppose 6*q - v*q - 2100 = 0. Let o be (-1)/(-4) - 5/(q/(-1245)). Are o and 8 nonequal?
True
Let p = 1493485/11 - 135343. Are p and 429 equal?
False
Let u = -32520 + 48205. Let j = -15712.041 + u. Let i = j - -27. Which is smaller: i or 1?
i
Let d be ((-2)/3)/((-141)/(-282)). Is d less than or equal to -467?
False
Let g = -6 + 4. Let o(c) = -36 - 23 - 2*c + 6*c**3 + 10*c**2 + 17*c**2 - 5*c**3. Let n be o(-27). Which is smaller: g or n?
n
Let j = 0.23 + -60.23. Let h = 85 + j. Let k = -33/2 + 17. Is h at most k?
False
Suppose -7*z + 94 + 11 = 0. Let g = z - 11. Let f = -53 - -54. Which is smaller: f or g?
f
Suppose -5*h - 13 = -4*a, 2*a - 5*h = -0*a + 9. Suppose 2*t = 2*i - 106, -2*i - 158 = -5*i + a*t. Let p = i + -51. Which is smaller: p or -1/17?
-1/17
Let j = -134 + 83. Let v = -152/3 - j. Which is smaller: v or 20?
v
Suppose -4 = 2*m + r, m + 0*r + 8 = -2*r. Let g be 26/14 - m - 24/(-168). Suppose g*s + 2 = -10. Which is smaller: -1 or s?
s
Let j be (19/((-266)/56) - (-2 + 0)) + 2378. Is j smaller than 2378?
True
Let t(m) = 952*m + 1631. Let p be t(-3). Which is smaller: p or -1228?
-1228
Let y be ((-81)/822)/9*(-25 - (-143)/13). Which is bigger: y or -1?
y
Let y = 45 - 38. Let a be -8 + 1*(-1)/(9/(-153)). Is y <= a?
True
Let s = 2 - -5. Let d = s + -6.9. Let n = -7420 + 7374. Which is greater: d or n?
d
Let h = -2543.89