 -10/17 greater than i?
False
Suppose -21*x = -53*x + 512. Suppose -5*d + 53 = -3*l, 5*d + 18 = -2*l + x. Are l and -15 non-equal?
True
Let m(o) = 8*o - 104. Let v be m(15). Let q be 6/6 - 0/(v/(-4)). Is q < 1/170?
False
Let v be 2/(1294/2 - -2). Let z = -1284/4543 - v. Are z and -14.2 nonequal?
True
Suppose 0 = -c - 4*z + 350, -2*c - 3*z + 94 = -606. Which is smaller: c or 339?
339
Let a = -35.7243 - 0.2757. Which is smaller: a or 73?
a
Let k be 1*(-4)/14 + 6066/6384. Let q = k + 8929/5320. Let u = 8/7 - q. Which is smaller: u or -2/5?
u
Suppose -44*x = -40*x + 3*z - 4, -4*x = -5*z - 4. Is x at most as big as 671?
True
Suppose -3*a - 1049 = 2*u - 3550, 4*u = 16. Is a < 831?
False
Suppose -4*r = -7*r - 2*w + 9, 0 = -w. Suppose r*k + 2 - 14 = 0. Suppose -5*y = 2*f + 5, 3*y - k*y = 4*f + 1. Is 0.34 >= f?
True
Suppose -5*f + 6*f - x + 202 = 0, 3*f + 605 = 4*x. Let i = 250 + f. Which is smaller: i or 48?
i
Let o(i) = -17*i**2 - 4*i + 4. Let m be o(1). Let y = m - -16. Is 1/91 smaller than y?
False
Let y = -6 + -3. Suppose 334 + 116 = -50*v. Let t be (5 + v + 3)/(2/26). Which is smaller: t or y?
t
Suppose -7*k + 10*k - 6 = 0. Let d be 31/k*9/((-27)/(-6)). Let x = d + -30. Which is greater: x or 2?
2
Let s be 18*((-4)/3)/(-2). Let j = -0.000925 + -0.499075. Is s less than or equal to j?
False
Let t(q) = -q**3 + 6*q**2 + 11*q + 7. Let v be t(-4). Is v equal to 123?
True
Let u = 345.8 - 346.8. Which is greater: -9/146 or u?
-9/146
Let r(q) = -4*q + 26. Let y be r(6). Let t = 21.1 + -4.1. Which is smaller: y or t?
y
Let u = 312 + -313. Let s be (20 - u)/(((-72)/(-8))/(-9)). Which is smaller: -20 or s?
s
Let c(b) = b**3 - 6*b**2 + 8*b - 14. Suppose 33*h - 31*h - 5 = -3*l, 2*l = 4*h + 30. Let z be c(l). Which is smaller: z or 1/66?
1/66
Let u be (3 + -4)/((-1)/(-7)). Let t be (1 - -1 - -3)*u. Let v = 33 + t. Is v bigger than -5/3?
False
Let c be (((-16)/17)/16)/(((-12)/8)/(-3)). Is c at most as big as -206?
False
Suppose 3*m + g = 1, 3*m = 4*g - 2*g - 2. Suppose m = 12*z + 8*z + z. Which is smaller: -1/589 or z?
-1/589
Let v(i) = 3*i**2 - 20*i + 24. Let t be v(4). Let r be (-6)/t + 6/((-65808)/8130). Is r not equal to 0?
True
Let h be (-535)/(-3745) - 3/70 - 321/10. Suppose -3*n - 5*q - 80 = -n, 0 = -2*n + 5*q - 60. Are h and n nonequal?
True
Let n be 237/316*(-56)/(1/(-1)). Suppose 3*m = 9*m - n. Is 9 bigger than m?
True
Let w = 218.1725 + -24.0915. Let a = w - 194. Let o = a + -0.081. Is o less than 65?
True
Suppose 552*v + 13 = 553*v. Suppose -2314 + v = -13*p. Is 179 > p?
True
Let b = -459160/11 - -67018979/1606. Let y = b + -4/73. Is y at least -12?
True
Let y be 18/18 - (2 + 0 - 5). Suppose -4*t - y*o = 16, -3*t = 2*t + 3*o + 12. Let c = 6863 + -1873601/273. Which is bigger: c or t?
t
Let l = 33 + -21. Let f = 104 - l. Let w be f/3 + 0 + 8/(-12). Is w smaller than 31?
True
Suppose -1001 - 1897 = -73*d - 781. Which is smaller: -152 or d?
-152
Let m = -4327/3381 + -137/69. Are m and -2 non-equal?
True
Let d = -38039/433534 - -69/697. Is d less than 0?
False
Let d = -1084.6 + 1154.67. Let c = -72 + d. Let n = c - 0.07. Which is greater: -4/9 or n?
-4/9
Let z = -2700 + 16159/6. Is -6 less than or equal to z?
False
Let n = -3221 + 3606. Which is smaller: -4/7 or n?
-4/7
Let f be (1/(-9))/(394/6). Suppose -4*k = -33*k - 41*k. Which is smaller: f or k?
f
Let l(f) = -3*f**2 + 23*f + 12. Let z(u) = -6*u**2 + 45*u + 24. Let i(s) = 11*l(s) - 6*z(s). Let a be i(14). Which is smaller: 337 or a?
337
Let x = -1352759/148 + 9140. Which is smaller: 0 or x?
x
Let a = 92.4 + -93. Let v = a + 1.1. Which is bigger: v or 66?
66
Let i be 18/(-48) + ((-273)/72 - -1). Suppose 4*t = 5*v + 27, -5*t + v = -v - 21. Suppose -t*h = -d + 5, 3*h + d + 16 = -h. Is h at least i?
True
Let n = -61 - -52. Let x = n + -121. Let m be (-146)/x - 4/20. Is m < -1?
False
Let a(f) = -13*f - 104 - 66 + 79. Let x be a(-7). Which is greater: x or -1/13?
x
Let i = -405 + 370. Let u = i + 36. Which is smaller: u or 8/57?
8/57
Let d = 2/171 - 521/684. Let f be (-9 - -3)*(5/(-3) - -1). Suppose 0 = -f*j + t - 16, -4*t = 5*j + t + 20. Do d and j have the same value?
False
Let m(b) = 6*b**3 + 4*b**2 - 14*b + 2. Let j be m(5). Is 3/7 <= j?
True
Suppose 205 = 7*h - 2*h. Suppose h = j + j - m, 5*m = j - 16. Let y be 8/j + (-2)/3. Is y less than 1.4?
True
Suppose 3*y - 6*y + 5*x = 40, -5*y + x = 30. Let n(i) = i**2 - 12*i + 6. Let w be n(10). Let m = -17 - w. Which is bigger: y or m?
m
Let s(w) = -3*w**2 + 2*w + 20. Let l be s(-6). Suppose 0 = -3*y + 366 - 75. Let p = l + y. Is p less than -13/3?
False
Suppose 0 = 2*w - 4, 14 = -4*x - 5*w + 4. Let f = 400 + -250. Let r = -153 + f. Which is greater: r or x?
r
Let c = -6.03 - 1.67. Let i = c - 21.3. Which is bigger: 0.1 or i?
0.1
Let a be 1 - -7 - (-7 + 6). Suppose a*g - 170 - 505 = 0. Let y = g - 415/6. Which is bigger: 5 or y?
y
Let u be 465*5/105 - (-9)/(-3). Let q = u - 4577/238. Which is smaller: q or 0?
q
Let t(x) = -7*x + 6. Let l be 8 - 2*(-1)/(-2). Let w be t(l). Suppose 98*c = 112*c + 14. Do c and w have different values?
True
Suppose 735 = -3*n - k, -4*n + 2*k - 736 = 224. Is -234 < n?
False
Suppose 0 = 28*h - 27*h - 78. Let f = 246 + h. Let o be 10 - 11 - (f/(-111))/3. Which is greater: -1 or o?
o
Let y = -583 - -583. Let q be y/(-1) + (-3905)/(-55). Which is bigger: 362/5 or q?
362/5
Let u(n) = -n**3 - 6*n**2 + 11*n + 29. Let x be u(-7). Suppose 4*v + 0*v = 44. Let h be (2 - x)*v/528. Is 0 at least as big as h?
False
Suppose -637*x - 1554 = 1681 + 1224. Let a be 75/6*(-2)/3. Is a at least x?
False
Let q = 99573/7 + -14225. Which is smaller: 4343 or q?
q
Let u(c) = 8*c**2 + 55*c - 915. Let j be u(18). Do 2666 and j have different values?
True
Suppose 0 = -2*y + 8, -3*y + 4*y = -4*w. Which is greater: -2/2519 or w?
-2/2519
Let n be (8 + 1904/(-255))*20/16. Which is greater: n or -3352?
n
Let w = -29296.2 + 29156. Is -0.7 smaller than w?
False
Suppose 0 = -79*x + 74*x + 5*a + 10, -5*x - 5*a = 0. Which is greater: -6/793 or x?
x
Suppose 0 = -3*k - 5*q - 93 - 82, 5*q = -5*k - 285. Is -15 > k?
True
Let r be ((-684)/(-372))/(6/(-20)). Is -7 less than r?
True
Let i(h) = -h**3 + 6*h**2 + 7*h + 9. Let j be i(6). Suppose 10*g = 13*g + j. Let m = g - -4. Is -13 bigger than m?
False
Let n = -25451 - -26240. Is n bigger than -0.2?
True
Let u = -6786272/7 - -978523. Let a = u + -9041. Which is bigger: 14 or a?
a
Suppose -42 = -6*t + 66. Let x be t/12 - 275/(-2). Suppose 0 = 9*o - x - 59. Do 21 and o have different values?
True
Let c = 2566 - 1800. Which is smaller: c or 767?
c
Suppose 5*a + 3 = -22. Let g = 164.79 + -164. Let x = g - 1.79. Do x and a have the same value?
False
Let w = -885/8 + 9759/88. Let v(f) = -4*f + 6. Let p(o) = o + 1. Let b(q) = -5*p(q) - v(q). Let k be b(-10). Which is bigger: k or w?
w
Suppose 0 = 3*i - 5*m + 23 + 14, -20 = 2*i - m. Let l = 3230 + -3239. Is l greater than or equal to i?
True
Let h be ((-14)/2)/(7/(-7)). Suppose -2*t = 5*a - h, 3*a = -9 - 6. Is t smaller than 16?
False
Let v be 1/(-3) - (-370)/(-6). Let w(a) = -10*a**2 - 98*a - 289. Let j be w(-6). Are j and v non-equal?
True
Suppose -468*l + 3780 = -279*l. Which is greater: l or 223?
223
Let z = 108.5 - 6.5. Let h = 101 - z. Let n = -0.22 + 5.22. Which is greater: h or n?
n
Let h = 2/60267 + 1566800/4278957. Is 0 bigger than h?
False
Let h(v) = -v**3 - 4*v**2 - 11*v - 1. Let l be h(-2). Is l bigger than -10.4?
True
Let o(w) = -5*w + 194. Let x be o(63). Which is bigger: x or -153?
x
Let o = 15543/16 + -230283/208. Is -135 greater than o?
True
Let j(z) = -3*z + 43. Let y be j(13). Suppose 3*s - y*d - 75 = -5*d, 0 = -4*d - 12. Which is greater: s or 5/6?
s
Let d be (-1 - 2/(-4))/1. Let x = -0.2595 + 0.2195. Is x at most d?
False
Let d = -15 - -17.8. Let x = 3.54 - d. Let u = x - 0.34. Which is smaller: u or -1?
-1
Let r = 4 + -10. Let f = 758 + -359. Let t = f - 403. Which is greater: r or t?
t
Let k(x) = -x + 18. Let h be k(2). Suppose 0 = -4*v - h, y + 6*v = 2*v - 16. Which is smaller: -9/44 or y?
-9/44
Let p = -288481/169 + 1707. Let z(t) = 7*t + 24. Let u be z(-3). Suppose 13 = -j - 3*g, -u*j - j = -4*g - 12. Which is bigger: j or p?
p
Let i = 17849 - 11122. Is 6725 greater than i?
False
Suppose -3*f + 2*g - 20 = 0, f = g - 0*g - 6. Let l = -920 - -647. Let c be