45. Let z = 25 + v. Is -9 smaller than z?
False
Let x = 1 - 0.6. Let o = 2.4 - x. Let g be 1/3 - (-15)/45. Is g != o?
True
Let j = 145 - 5657/39. Which is smaller: 0.1 or j?
j
Let y = 6 - 12. Let o = 5.92 + y. Let q = o - -0.08. Which is bigger: q or -6?
q
Let d = 1818 - 1818.026. Is d >= 1.1?
False
Suppose -5*l - 2*r + 0*r - 167 = 0, 5*r - 20 = 0. Let b be (-28)/l*3/(-2). Let d = 244 - 244. Is d smaller than b?
False
Let c = 166 - 167. Is c < -18/29?
True
Suppose 0 = -f + 4*f + 66. Suppose 9*p - 9 = 198. Suppose 2*q + 19 = -p. Which is greater: f or q?
q
Let j be 384/(-16) + 4/(-2). Let t = j + 29. Suppose -f + t*f + 2 = 0. Which is bigger: f or -2/9?
-2/9
Let o = 0.02 + -26.02. Let u = o - -26.02. Which is greater: u or -1?
u
Suppose -2*f + 4*h = h - 110, -3*f + 154 = h. Let a = f + -57. Is a smaller than -3?
True
Suppose 4*u - 4*b + 113 = 5*u, 20 = 5*b. Suppose -4*p = -x + 11, 5*x - u = -p - 0*p. Let i = x + -8. Is 10 less than i?
True
Suppose -28 = 4*x + 4*l, 9 = -5*x + 4*l - 17. Let y be 1 + 21/x - (-9)/18. Let o = -2.94 - -3. Which is smaller: o or y?
y
Suppose 0 = 3*g - 222 + 1347. Is g < -374?
True
Let x be 78/663*((-1)/(-1))/14. Which is smaller: x or 0?
0
Let j = -1454/3 - -484. Which is greater: 0.182 or j?
0.182
Let l be 44*(2 + (-6)/4). Let r = l - 18. Let x be 5 + r + -8 + 19. Is 21 bigger than x?
True
Let h be -3 + (3 - (2 - -2)). Let v(r) = r**3 + 8*r**2 - 2*r - 7. Let u be v(h). Let y = 1363/21 - u. Is y at least as big as 1?
False
Suppose n = -0*b - 5*b + 114, -3*n + 112 = 5*b. Let k = b + -26. Let s = 51 + -51. Is s != k?
True
Let w = 5 + -16. Let k = 285 - 296. Is k at least as big as w?
True
Let z = 1 + -2. Let c = z - 1. Let s(v) = v**3 + v**2 - 2*v + 1. Let d be s(c). Which is smaller: -4/11 or d?
-4/11
Suppose 0 = -3*p + 4*b + 175, -135 = -2*p - 2*b + b. Let y be 396/(-27)*18/(-4). Is y at most as big as p?
False
Suppose 3*o + 62 - 23 = 0. Let l = -10 - o. Suppose l*t = -29 + 2. Is t greater than -25/3?
False
Let z = -3.02 - -3. Let f = 0.0451 + -0.0251. Let k = f + z. Which is smaller: k or 2?
k
Suppose 3*x - 2*x = j - 4, -2*j = 3*x + 7. Let s = -186 - -445. Let p = s - 2327/9. Which is bigger: p or j?
j
Let b(j) = -j + 26. Let x be b(12). Suppose 0*a - 3*a + 7 = 2*u, 5*u = -4*a + x. Suppose -u*y - 4*n + 2*n - 10 = 0, 5*y + 5 = 5*n. Is -11/6 bigger than y?
True
Let f be 5/(-2)*(-3 - (-5720)/50). Which is greater: f or -280?
f
Let x = 2.43 - 1.43. Which is smaller: 12/23 or x?
12/23
Let i be 15/(-4)*(9 - -67). Let f be (9/i)/(3 + (-16)/5). Is f at most as big as 1?
True
Let r = -0.0013 + 0.1013. Is -519 at most as big as r?
True
Let n be (-105)/35 - 3*21. Is n <= -64?
True
Let r be -2 + (-78)/(-19) + -2. Let c(y) = y**2 + y + 5. Let z(q) = q**2 + q + 4. Let n(x) = 5*c(x) - 6*z(x). Let j be n(-2). Which is greater: j or r?
r
Let q be 8/(-2)*9/102. Suppose -26*f = -30*f. Suppose -10*u + 14*u = f. Which is greater: u or q?
u
Suppose 4*r - 3*r = -r. Suppose -3*w - 14 = 4*l, -3*l - 4 = -w - r*l. Let m(p) = -p. Let o be m(3). Is w at most as big as o?
False
Let r(l) = 2*l**3 + 12*l**2 + l + 2. Let d be r(-6). Let g = d - -9/2. Suppose 3*z - z = -8. Is z less than or equal to g?
True
Let p = -295/2 + 93509/634. Is p greater than 1?
False
Suppose 5*f = j + 1 + 5, 3*f - 5*j = 8. Let m be (f/1)/(-3 - -2). Is -2 less than m?
True
Let a(d) = d**3 - d**2 - 89*d + 10. Let y be a(-9). Is 1/891 at least y?
False
Let p = -752 + -111. Is -863 greater than or equal to p?
True
Let c be 18*4*2/16. Suppose 0 = 2*m + 4*x - c*x - 10, -2*m + 4*x = -8. Let t = 185/6 + -30. Which is smaller: t or m?
m
Let g be (27048/(-3819) - -7) + 3/(-1). Let l = g + 58/19. Are l and -1 equal?
False
Let l = -1208/17 + 71. Suppose -4*b = -b. Let r be ((-1)/(-2))/(b - (-3)/(-6)). Is l greater than r?
True
Let z = -669 + 671.97. Let v = z + 0.03. Let j = 2 - v. Does 0.1 = j?
False
Suppose -3*m = -3, -4*f - 4*m = -34 + 10. Suppose -4*o + 19 = -3*o + l, f*l + 89 = 3*o. Is o at least as big as 22?
True
Let j(m) = m**2 - 1 + 0*m**2 - 25*m**3 - m + 4*m**3. Let f be j(-1). Is f not equal to 23?
True
Let j be (19 - 21)/(1/2). Which is smaller: j or -41/8?
-41/8
Let k = -8 + 12. Let y be 2/6 + 20/(-6). Let f = k + y. Is -2/15 greater than f?
False
Let i(p) = p**3 + 5*p**2 - 5*p - 6. Let k be i(-6). Let o(z) = 14*z - 530. Let j be o(37). Is k bigger than j?
False
Let m = -3/332 + -323/996. Which is smaller: -2/335 or m?
m
Let b = 979906152871756/2171668648041 + 5025200/15077577. Let k = b - 20/48011. Let t = k - 452. Which is bigger: t or 1?
1
Let p be 1/(-358)*12*(-1)/(-9). Is 0 less than p?
False
Let z(s) = -s**2 - 44*s - 524. Let q be z(-22). Is -40 at most as big as q?
True
Suppose -2*s - s = -2*z + 6, -15 = 5*s - 5*z. Suppose s = 2*f - 14 + 4. Suppose x + 1 + 6 = -4*m, -f = -3*x + m. Which is smaller: -1/8 or x?
-1/8
Let v = -2504 + 2483. Is -49 smaller than v?
True
Let s = 15 - 18. Let f(k) = -k**2 + 4. Let m be f(s). Let j be (6/m)/((-2)/(-20)). Which is smaller: j or -13?
-13
Let t = 597071/245 + -2437. Is t less than or equal to -1?
False
Suppose -20*v + 194 = 394. Let a = 6 - 1. Suppose 3*m - 50 = 4*b, a = -2*b + b - 3*m. Is b < v?
True
Suppose u + 2*u = -18. Suppose -s + 5*d - 50 = -22, -4*s - 3*d - 43 = 0. Which is smaller: u or s?
s
Let h = -0.001 - 19.999. Let c = h + 19.9. Let q = 1.1 + -0.1. Which is smaller: q or c?
c
Suppose 0*u - 5*u = -2*f - 8, 0 = -4*f - 5*u - 46. Let x = 13 - 20. Do f and x have the same value?
False
Let p be ((-3)/(-3))/(1/(-19)). Suppose 28 + 32 = -3*c. Are c and p unequal?
True
Let g = -2503/9 - -2828/45. Let r = g - -215. Let c = -2 - -3. Which is greater: c or r?
c
Let m = 409 + -410. Is m < 24.3?
True
Let t = 2041/3 - 3479902/5115. Which is greater: t or 0?
t
Let n(z) = -z**2 - 5*z + 1. Let f be n(-7). Suppose 9*g = 2*g + 35. Suppose -5*s - 4*x = -3*x + 61, -g*s - 2*x = 57. Is f less than s?
False
Suppose -5*n = -4*n. Suppose -3*b - 33 + 0 = n. Let m = 11 + b. Is -1 equal to m?
False
Let c = 41 + -95. Let a = -164/3 - c. Does -2 = a?
False
Suppose 91*j = -12*j. Suppose 54 + 16 = 5*g. Suppose -g*l + 11*l - 30 = j. Is l not equal to -11?
True
Let a be 188*(77/(-44) + (-2)/(-1)). Which is greater: 12 or a?
a
Let v be (4/(-20))/((-4)/(-1192)). Is -60 bigger than v?
False
Suppose -46*j = 3*z - 48*j - 262, 0 = -5*z - 5*j + 420. Is 91 bigger than z?
True
Let h(i) = i**3 + 18*i**2 + 31*i - 19. Let a be h(-16). Let c be a*(-1)/(-1)*-6. Let z(n) = 2*n**2 + 8*n - 5. Let p be z(-6). Is c greater than p?
False
Let q be -1*2/340*(-4)/(-6). Is 1 greater than q?
True
Let y be (1765/30)/(921/8088). Let o = -1550/3 + y. Which is smaller: 0 or o?
o
Let g = -36 - -48. Suppose -5 = 7*o - g*o. Let f be 21/(-20) + 1 + 0. Is f > o?
False
Suppose -8*r + 115 = 11. Let v = 25 + -16. Is v < r?
True
Suppose -b - 486 = 3*y + 167, -4*b = -2*y - 454. Is y < -216?
True
Suppose 3*u = -4*r - 24, -5*r = -r - 5*u + 24. Let q = -2157 + 2151. Do r and q have the same value?
True
Let n = 73/2 - 43. Suppose -55 + 22 = 5*r + i, -r + 1 = 4*i. Which is smaller: r or n?
r
Let q be (-4)/(-56) - (-20)/(-35). Let w = -1/118 + 303/7906. Which is bigger: w or q?
w
Suppose -129*k = -135*k + 24. Suppose 0*z + h + 16 = 2*z, 2*h + 20 = 2*z. Suppose -k*l + z*b = 3*b - 28, b + 12 = 2*l. Is 4 < l?
False
Suppose 5*v - 22 + 32 = 0. Let g be (v/(-4) + (-182)/252)/4. Are g and 0 non-equal?
True
Let q(l) = -l**3 + 6*l**2 - 5*l - 4. Let k be q(4). Let v(f) = -f - 6. Let g be v(-8). Suppose g = 5*n - 43. Which is smaller: n or k?
k
Suppose 235*n - 308 = 228*n. Does 43 = n?
False
Suppose -2*z = 2*g + g - 16, -34 = -5*g + 4*z. Suppose 18*f + g = 24. Which is bigger: 1/60 or f?
f
Let v(b) = -19*b + 71. Let a be v(-15). Is a != 357?
True
Suppose -4*a + 0*a - 3*b = -39, -a + 1 = -b. Let x = 0.004 - 1.804. Let k = 1.7 + x. Which is bigger: a or k?
a
Suppose -f + 1 = -1. Let n be (-6 + 5)*(-4)/f. Let x = 87 - 92. Is x at least n?
False
Let r = 159.3 + -145. Let m = -9.3 + r. Are m and -1/3 non-equal?
True
Let p = -1/2369 - -199037/97129. Which is smaller: 1 or p?
1
Let a = 13 + -9. Let t = a + -11. Let h = 14 + t. Which is bigger: h or 3?
h
Suppose 7*p - 10*p + 6 = 0. Suppose -3*y - p*r + 33 = -2*y, -r = y - 35. Which is greater: y or 38?
38
Let i(j) = -j**3 + 13*j**2 - 24*j + 26. Let p be i(1