.8943. Which is smaller: -134 or r?
-134
Let c be ((-10)/(-24))/((-1)/8)*-9. Suppose 0 - c = -30*t. Is -2/259 at least t?
False
Let q(l) = -3*l**2 - 21*l + 28. Let m be q(-8). Let g be -1 + m/(-36)*57. Let c(i) = -i - 7. Let k be c(0). Which is bigger: k or g?
k
Let c be 0*2/6*(-99)/(-99). Is -18/115 smaller than c?
True
Let o be ((-4)/6)/((-160)/(-12) - 7). Suppose 5*p + 22 + 13 = 0. Let s = -6 - p. Is s not equal to o?
True
Let a = -154.1 - -137. Let q = a - -16.1. Which is greater: -109 or q?
q
Suppose d - 12 + 5 = -5*j, -5*d = -4*j - 35. Is -36/101 > j?
False
Suppose 40*x - 26*x - 56 = 0. Suppose -5*r - 4*i + 329 = 0, -3*r = -0*i - x*i - 191. Is 60 greater than r?
False
Suppose -237 = 2*u + 5*i, -4*u + i - 108 = -3*u. Let w = -106 - u. Suppose w*p = p - 52. Is p at least -15?
True
Let k(t) = -2*t**2 + 10*t - 22. Let f be k(8). Let i be (-1322)/(-14) - (-30)/f. Is i greater than or equal to 95?
False
Suppose -m - 2*m + 2*b + 14 = 0, -4*b - 4 = -2*m. Let c be (1 - (m + -3 + -4))/(-5). Is c smaller than 147?
True
Suppose -3*b + 16 = -5*p - 61, 4*b = -4*p + 156. Is 56 bigger than b?
True
Let c = 2700 + -2698. Is c smaller than -1/84?
False
Suppose -4*a = 20, 2*h - 2*a - 7 = 15. Suppose 3*c = -5*n + 225, c = 10*n - 15*n + 215. Let u be 2/h*n/(-2). Which is bigger: u or -6?
-6
Suppose 18 = 10*p - 2. Let a be 4/(-303)*3/p. Which is smaller: -1 or a?
-1
Suppose 205 = 7*l + 149. Are l and 176/19 non-equal?
True
Suppose 12 = -3*p, 0 = 3*x + 4*p - 3 - 5. Suppose 0 = -3*y - x*y + 1034. Which is greater: y or 95?
95
Suppose -3*p - 17 = -s, -p - 2*p + 3 = 3*s. Let u = 20509/7 + -2933. Which is bigger: p or u?
u
Suppose -30*s - 14730 = -1860. Which is bigger: -1 or s?
-1
Suppose -2*n = -4*w - 62, n - w + 77 = 3*n. Let y = -131 + n. Let d = y - -93. Is d greater than or equal to -1?
True
Let k = 242477509/999 + -195325620089/349650. Let l = k + 315912. Let z = -5/14 + l. Which is smaller: 1 or z?
z
Let w = 0.29048 - -281.49952. Let t = 0.21 + w. Which is smaller: 1 or t?
1
Let q = -9155 - -9156. Which is smaller: q or 3930?
q
Suppose -586 = -5*c + 639. Suppose -95 = -5*t - c. Which is greater: t or -28?
-28
Let w(p) = -2*p**2 + 2*p + 11. Let m be 47/9 + (-20)/90. Let u be w(m). Let f = 3 + u. Which is bigger: f or 2?
2
Let n(d) = -2*d + 0*d - d - 57 + 0*d. Let x(f) = -3*f - 57. Let i(z) = 3*n(z) - 4*x(z). Let u be i(-19). Is 3/4 smaller than u?
False
Let l(r) = r + 45. Let w(a) = -a - 46. Let y(c) = 5*l(c) + 4*w(c). Let i be y(13). Suppose 14*n = 338 + i. Which is greater: n or -2/5?
n
Let d = 9362 + -374501/40. Let r = -1/8 - d. Let k be ((-88)/(-12))/(6 + 0). Is r > k?
False
Let o be 5*(-104 + -20)*3/(-5). Let f = o - 26413/71. Are -1 and f unequal?
True
Let h = -51 - 131. Let u = h + 74. Is u greater than -108?
False
Suppose f + 16 = 5*f, -a = -3*f - 12. Suppose -6*d + 24 = a. Which is greater: -9/13 or d?
d
Let i = 50 - 94. Let u = i + 47. Suppose 3*s + 10 = 5*s. Are u and s non-equal?
True
Let s = -37 - -39. Suppose 2*a + 13 = -s*l - 3*a, -3*a = -5*l + 14. Is -2/33 < l?
True
Let d = 6.65 - 6.75. Let p = -18 + 21. Let q = -3.48 + p. Which is greater: d or q?
d
Let w = 189733081091/121081013 - -494/346937. Let s = 1567 - w. Let l be 0/(3/(-6)*6). Which is smaller: s or l?
l
Suppose -48062 = -4*r + 6*u, 0 = 81*r - 83*r - 4*u + 24038. Is 12019 greater than r?
True
Suppose -4*j + 4 = 0, 2*r + 5*j + 55 = -0. Let m be ((-1)/3)/((-820)/r). Do 0 and m have different values?
True
Let o(n) = -3*n + 18. Let d = 53 - 47. Let a be o(d). Let h = a - -54. Is -1/2 equal to h?
False
Suppose j - 4*t = 21, 5*j - 60*t = -58*t + 33. Let l be (8 - 2) + j*(-8)/40. Is l equal to 1.2?
False
Let g = -18588/7 + 2655. Is g at most -2/7?
True
Let c = 189 + 206. Let t be (c/(-65) - -6)*(-1)/7. Which is smaller: 1 or t?
t
Let h = -0.184 + -114.016. Let u = h + 32.2. Is u bigger than -2?
False
Let t = 13/48 - -1/16. Let w(j) = 4*j**2 + 22*j + 10. Suppose 0 = 54*n - 50*n + 20. Let y be w(n). Which is smaller: y or t?
y
Let w be (-12)/(-21) - 3/(-7). Suppose -4*t - w = -5*t. Let k be 6*79/196 + 385/(-154). Which is bigger: k or t?
t
Let k = 2689 + -2688. Is k less than or equal to 16/315?
False
Let h be 2/4*(-2 - -8). Suppose 0 = 23*a + 3 - h. Which is smaller: 1.39 or a?
a
Suppose -49 = -17*l + 2. Suppose l*q - 4*k = 1264, -4*q + 8*k + 1692 = 4*k. Is 428 not equal to q?
False
Suppose 5*p = -5*k - 1450, 266 = -2*k + 10*p - 206. Suppose 0 = -3*v + 4*v + 282. Which is greater: v or k?
k
Let s be 9/15 - (-3798)/(-30). Suppose 17*u - 262 = 18*u. Let g = u + 135. Does s = g?
False
Let m = -93 + 18. Let b = m - -74.9. Which is smaller: 3/62 or b?
b
Let l be (126/441)/(30/12824)*3/(-2). Is l bigger than -184?
True
Let j = 12 + -11.67. Let o = -361.3 + 361. Which is smaller: j or o?
o
Let u = 139290 - 139276. Let d = 1 + -1. Is d less than u?
True
Let c = 19972 - 19973. Which is bigger: c or -0.3?
-0.3
Let d = 121 - 65. Let w be d/(-168)*(1 + 1 + 1). Is w <= -3/62?
True
Let s be -8 + -1 + 9*2/3 + -9. Let n be (108/5)/(2/35). Let x be n/120*(-4)/1. Is x greater than or equal to s?
False
Let g = -1458.6 - -1458.6. Is g != 2939?
True
Let g = 653 - 90769/139. Suppose 2*x + 2*r + 2 = 6*x, 5*r = 2*x + 11. Let a = x + -2. Is g greater than a?
False
Suppose 24*n - 10*n - 28 = 0. Suppose n*g - 2*i + i = -6, i = 4*g + 14. Which is smaller: g or -21/4?
-21/4
Let s be (-1284)/84 - (-2)/7. Let v = s - -19. Let a be 105/196 - v/14. Is a greater than or equal to -2?
True
Suppose -g = -3*t + 23, 5*t - 5*g + 47 = 8*t. Let c(n) = n**2 - 8*n - 10. Let p be c(t). Which is greater: p or -10/39?
-10/39
Let i be (-13128)/(-1010)*574/(-126). Let s = -4/303 - i. Let d = -59 + s. Which is smaller: d or 3?
d
Let o be (-20102834)/121695 + 4/(-28) - -3. Let a = -1/5795 + o. Let l = -161 - a. Is 0 at least as big as l?
False
Let o(i) = 2*i**2 + 3*i - 10. Let m be o(-5). Suppose -21 = 5*d - 2*d - 2*b, m = -2*d + 5*b. Let k = 4 + d. Is 1 < k?
False
Let s = 172 + -403. Let i be 4 + s/9*3/5. Does -12 = i?
False
Let c be -39*(0/4 + 60 + -1). Are c and -2301 nonequal?
False
Let n(k) = -k**2 + 19*k + 10. Let f be n(-10). Let j = -223 - f. Which is smaller: -4 or j?
-4
Let q be (-3156)/789*(-3)/(-4)*2/6. Which is bigger: -1/48 or q?
-1/48
Let m(v) = v**3 - 12*v**2 - 60*v + 785. Let r be m(11). Is -576 < r?
True
Let k = 94.51 + -13.06. Let a = 81 - k. Let q = 1.45 + a. Are q and -64 equal?
False
Let a be (2 - (6 - 43372/11352))/1. Let q = -25/66 + a. Is 0 at least as big as q?
True
Let k = 18.211 + -17.61. Is 1 != k?
True
Suppose 2*f + 3*t + 9 = 0, 3*t = 425*f - 419*f + 39. Suppose 0 = -5*y + 23 - 63. Which is bigger: y or f?
f
Suppose 34*p - 81*p + 11891 = 0. Which is smaller: 2025/8 or p?
p
Let q(t) = -t**3 - 54*t**2 - 106*t - 117. Let w be q(-52). Which is smaller: w or -233/19?
w
Let f(c) = c**3 - 6*c**2 + 2*c - 9. Let h be f(6). Suppose 155 - 58 = h*d + 5*s, 0 = -4*d + 5*s + 106. Suppose 25 = 2*t + d. Which is smaller: 1 or t?
t
Let t = -668800/3 - -225756. Which is smaller: t or 2824?
t
Let z be (1 - (5 - 2)) + -2. Let j be (0 + 0)/((z + 1)/(-3)). Suppose j = 4*a - a - 3. Is 1.4 <= a?
False
Suppose 11853 + 22379 = -22*x. Let t = x + 6359/4. Is t at least 34?
False
Let s = 4232 + -283526/67. Let o = -884/201 - s. Which is smaller: 1 or o?
o
Let a(n) = 19*n - 4*n**2 + n**3 - 8 - 8*n + 12*n**2. Let y be a(-6). Let p(c) = 2*c**2 + 6*c + 4. Let q be p(y). Is -2/29 smaller than q?
True
Let v = 1855 - 985. Let m = 869 - v. Is -2/101 bigger than m?
True
Let s(o) = 24*o + 1. Let c(u) = -4*u. Let k(a) = 20*c(a) + 4*s(a). Let b be k(5). Suppose 5*h + 2*h = b. Is 10 greater than or equal to h?
False
Let c be ((-45)/4)/(-3*6/31608). Let w be (39490/c + -2)/(26/(-46212)). Let k = 70/39 - w. Which is greater: k or 0?
0
Let f = -0.07 - -0.045. Let k = f - 0.03. Let g = 3.945 - k. Is 1/4 <= g?
True
Let l be (0 - 1)*(42 + -1 - -2). Let d = -39 - l. Suppose 3*w + w = -d*y - 16, -3*y = 4*w + 12. Is w at least -2/31?
True
Let y(b) = 2*b**3 + 4*b**2 - 14*b + 2. Let o be y(-7). Let h = 355 + o. Let c be 0 + -2 + 18/8. Which is smaller: c or h?
h
Let w = -2565.93 - -2566. Which is greater: -323 or w?
w
Let z be 2/(-85)*(848/64 + -13). Which is smaller: -1 or z?
-1
Let j(k) = 5*k**2 - 37*k + 36. Let o be j(1). Let y = -1 - -1. Which is smaller: