 Let j be x(6). Is j greater than or equal to 5?
True
Let f = 185.2 - 185. Let s = -22.48 + 23. Is s not equal to f?
True
Let f = 2177 - 2176. Are -0.2188 and f equal?
False
Suppose -107*u + 378501 = 996071 + 881072. Which is smaller: -14007 or u?
-14007
Let b be (46 - (-296612)/(-6438))*(-6)/(-4). Suppose u - 3*o - 15 = 0, -23 + 3 = 5*u + 4*o. Let s be (u/3)/(-2 + 4). Which is smaller: b or s?
b
Let c be (131 - 133)/(10*3/306). Which is greater: 3 or c?
3
Suppose -o + 5 - 3 = 0. Suppose -3*n - o*n - 175 = 0. Let x be 38/95 - (-6)/(-10)*(-910)/(-15). Is x less than or equal to n?
True
Let v be (5020/90 - 6) + 4/18. Let l = 30 - v. Which is smaller: -24 or l?
-24
Suppose 2*m = -3*m + 5*l + 3505, -l - 1 = 0. Let z = m + -9108/13. Which is greater: 0 or z?
0
Let l = 190.015 - 190. Let n = l - 9.015. Which is smaller: -30 or n?
-30
Let g be -2094*10/(-40) - ((-2)/4 - 0). Which is greater: g or 523?
g
Let a = -6379202/39 - -163595. Let d = 75/56 + -4565/168. Let w = a + d. Are w and -1 nonequal?
True
Let x = -9 + 9. Let t = 1984989/14 - 141895. Let h = 110 + t. Which is smaller: x or h?
h
Let b be (-223783)/(-134358) + (-25)/15. Which is greater: b or 1?
1
Let a = 125166/7 + -17884. Suppose -1 = -f + 4. Let i be (f - 3)*6/(-4). Which is smaller: i or a?
a
Suppose -4*i + 2*l = -10, -4*i + 5*i + 5*l + 3 = 0. Let k be ((-1)/(-4))/(i/12). Suppose 3*n - 33 = -4*g, 25*g - 26*g - 4*n = -31. Is k greater than g?
False
Let n = -504 - -506. Let f be (-48)/112 - 34/(-14). Let c be f/4 - 1/2. Which is greater: n or c?
n
Suppose 6 = -2*q + 4. Let a = 2014 - 50346/25. Are q and a nonequal?
True
Let u be (-16)/220*-35 + 18/(-33). Is u equal to 3351?
False
Suppose 0 = -3*r - 4*t, -2*r + 4*t = t. Let u be (12 - 12)/(r + -2). Which is greater: 1/102 or u?
1/102
Let g = 344 + -338. Suppose 2*i - 3*u - 7 = 0, 4*u - 2*u = -g. Let c be ((-2)/(-15))/((-2)/24). Which is smaller: c or i?
c
Suppose 93*h = 95*h - s + 47, 2*h + 12 = -4*s. Which is bigger: -506/27 or h?
-506/27
Suppose 182*u - 181*u = 2. Suppose 4*h - 138 = -3*q, -48 - 48 = -u*q - 4*h. Is 43 greater than or equal to q?
True
Let l be -1*6/12*568/(-4). Suppose -84*r - 455 = -l*r. Let t be -35*(1 - 2)*-1. Do t and r have the same value?
True
Suppose -2*f - 2*l - 2962 = -f, -3*f = -2*l + 8862. Let w be 5/(-95)*1572613/(-28). Let b = f + w. Which is bigger: b or -1?
b
Let h = -25 - -91. Suppose -9*j = -5*i - 0*i + 24, -4*j = 5*i - 11. Is j at most h?
True
Let r = 96 - 185. Let g = r + 119. Let f be 2 + ((-3)/g)/((-1)/(-16)). Is f greater than or equal to 0.3?
True
Let t be (30/(-6485))/((-15)/(-20)*-2). Is t greater than or equal to -1?
True
Suppose 21*f - 7*f = -11*f - 50. Do -7/3 and f have the same value?
False
Let u be ((-276)/(-16) + -5)*-4 - -4. Let s be (15 + -17)*u/(-10). Let f(i) = -2*i**2 + 2*i + 1. Let q be f(2). Which is smaller: q or s?
s
Let d be (11/(-5) + 1)/((-6)/1455). Suppose -3*o + 4*m - 242 = 0, -4*o - 6*m = -5*m + d. Is o smaller than -73?
True
Let i be 2 + 0 - 1 - -1. Let s(p) = -p**3 - 13*p**2 + 18*p + 25. Let o be s(-14). Let k be o*(-3)/(-21) - -5. Which is smaller: i or k?
k
Let d = 3 - 3. Suppose 0 = -d*i + 5*i. Suppose -176*p = -119*p - 228. Is p greater than i?
True
Let x(y) = -y**3 + 2*y**2 - y + 12. Let q = -26 - -26. Let i be x(q). Let g be (12/234)/((-1)/i). Do g and -1 have the same value?
False
Let j = 31677 - 31677. Is -19/286 smaller than j?
True
Let b = 243 + -246. Suppose -2*h + 3*h - 10 = 0. Let t be 4/h*(-90)/20. Is t at least as big as b?
True
Suppose y - 29 = -4*g, 6*g = -3*y + 5*g + 65. Suppose -130 = -y*q + 11*q. Let x be (-86)/(-4) - q/26. Is 21 != x?
False
Let h(j) = j**2 + 30*j + 29. Let s be h(-1). Let y be (6 - 4) + 143/(-73). Is y not equal to s?
True
Let f be 9/(-18)*(0 + 2). Let m be -4 - (-2*3 - -4). Let w be m/575*10/2. Is w bigger than f?
True
Suppose 0 = 2*c + 5*g - 0*g - 13, -5*c + 5*g + 50 = 0. Suppose c*p = 10*p. Let t = 587 + -34636/59. Which is bigger: t or p?
p
Let k be 2/(-2*(-7)/(-1477)). Let u = 156 + k. Is -55 at most as big as u?
True
Let h(m) = -m**3 - m - 2. Let o be h(-1). Suppose o = 3*i - 0*i - 3*g + 120, -3*g = 2*i + 60. Let q be i/63 - (-81)/7. Which is smaller: 10 or q?
10
Let u(l) = 83*l - 5. Let a be u(-8). Let j = 22743/34 + a. Is j equal to -0.2?
False
Let r = -217 - -222. Let v be 6/(-45)*r*(-6)/(-4). Which is smaller: -11/16 or v?
v
Let p be (182/(-145600))/((-92)/(-10)). Which is bigger: p or 1?
1
Let a be (88/(-726))/((-2)/(-2901)). Let n(f) = 36*f - 4. Let w be n(5). Let d = w + a. Is 0.4 <= d?
False
Let r be 297/(-6)*(-10)/(-6). Let o = -537313687/6516118 + -6/465437. Let h = o - r. Is h > 1?
False
Let z = 2081 + -1006. Let j = 15115/14 - z. Let n = -32/7 + j. Which is bigger: n or 1?
1
Let j(u) = -8 + 4 + 155*u**3 - 6*u + 9 + 3*u**2. Let x be j(2). Let i be ((-3)/x*2)/((-2)/10). Is 0 at most i?
True
Let a be (-2576 + (-4 - -3) + 20 + -13)/(-18). Is 2 smaller than a?
True
Suppose -15*u + 20*u = 40. Let w be (u/72)/(3/639). Is 24 <= w?
False
Let b be (-324)/(-189) + (-446408)/260372. Is -1 smaller than b?
True
Let s = 12.128 + -13.8. Let x = s - -0.172. Which is greater: x or -3?
x
Let g(f) = -5*f - 27. Let x be g(10). Let m be (6/(-9))/((-6)/(-693)). Are x and m equal?
True
Suppose 2*a + 5*i = -6, -4*i + 2*i = 4. Let z = 5.311 + -0.311. Let s = 5.02 - z. Is a greater than or equal to s?
True
Suppose -60*o - 2484 = -267*o. Is 21/2 not equal to o?
True
Suppose -3*s + 15 = x, 2*x + 4*s + 0 = 20. Which is greater: x or -18/293?
x
Let y be ((-104)/(-20))/(-13) + (-2)/((-13920)/2514). Which is smaller: 0 or y?
y
Suppose 5*g = -2*c - 0 + 5, -3*c - 9 = 2*g. Let u(x) = -47*x - 84. Let z be u(c). Is -1/2 less than or equal to z?
True
Suppose -2*d = -d + 3*d. Suppose 2*i - 5*i = -21. Let p be (-74)/38 + 7/i. Does p = d?
False
Let b = 2294 + -2293.8. Which is smaller: b or -44/29?
-44/29
Let s(y) = 6*y - 29. Let j(t) = -2*t + 10. Let v(a) = -14*j(a) - 4*s(a). Let w be v(6). Let x be (8/10)/(7/(-5)). Which is smaller: w or x?
x
Let i(r) = -116*r - 928. Let z be i(-8). Is 1007 less than z?
False
Let u(r) = 3*r. Let b be u(7). Let y = -5/44971 - -4856893/224855. Which is bigger: b or y?
y
Let x = -38 - 8. Let f = -67.61 - -21.75. Let k = f - x. Which is smaller: 0 or k?
0
Let w be (6 - 784)/(-2 + (-3 - -3)). Let j = 12839/33 - w. Which is smaller: 2/7 or j?
j
Let f = 0.0465 + -359.0465. Let t = f + 358.98. Which is greater: t or -23?
t
Let g = -2.1 + -0.9. Let n = 0.044 - -18.956. Which is bigger: n or g?
n
Let j(i) = 2*i - 5. Let l be j(4). Suppose 2*y = l*y + 33. Let o = 1387072 - 1387070. Are y and o non-equal?
True
Suppose -248*g + 252*g - 5*q + 496 = 0, 372 = -3*g + 4*q. Is -1352/11 at most as big as g?
False
Let o = 276 - 539. Let g = o + 265. Is g less than 1/7?
False
Let j = 358.9 - 359.205. Which is smaller: j or -0.2?
j
Let v be ((-2)/3 - 1)*-3. Suppose -3*n - 4*m + 95 = 401, 0 = 5*n - v*m + 475. Let g = -86 - n. Is 15 at least as big as g?
True
Let d = -6380 + 3707. Let t = -8110/3 - d. Let s = -31 - t. Is s < 1/8?
True
Let z = 114 + -108. Let x(m) = m - 8. Let y be x(z). Which is smaller: -1 or y?
y
Let v = 6 - 0. Let z be ((-682)/(-12))/11 - (-4)/(-24). Suppose -15 = 2*j + z*x, 0*j + 4*x + 25 = j. Is j smaller than v?
True
Let j be 310/25 + -2 + -10. Is -10.15 at most j?
True
Let z(a) = 2*a**3 + 10*a**2 - 2*a - 11. Let m be z(-5). Is m greater than 2/2369?
False
Let x be (-3)/9 + 35/(-21) + 184. Let r be (-5)/(-10) + x/4. Let f = -47 - r. Is -92 greater than or equal to f?
True
Let a = 6148/2362333 - 2/1543. Let h = a - -3040/16841. Let b = -0.3 + 0.35. Is h less than b?
False
Let r = -7165 - -128935/18. Is 2/5 at least r?
True
Let q(v) = -3*v**2 + 401*v + 146. Let n be q(135). Which is greater: n or -2750/7?
-2750/7
Let n = 3078.0153 - 3078. Is n equal to 1?
False
Suppose 3081*k + 5*h - 180 = 3080*k, -2*k = -2*h - 420. Is k smaller than 163?
False
Let x = -18572 - -18551. Does 0.136 = x?
False
Let t = -100 - -72. Let w be (1056/128)/(-6*(-1)/(-20)). Which is smaller: t or w?
t
Let u = 449407/128 + -3511. Which is greater: u or 3/16?
3/16
Let g(x) = x**2 + 10*x - 7. Let q be g(-11). Suppose -4*d - 4*f + 116 = -2*d, q*d - 2*f = 202. Let v = 82 - d. Do 32 and v have the same value?
False
Let v = -9222 + 21522. Is 0 at least as b