m - 2.94. Let j = 12.6 + 0.4. Which is smaller: j or l?
l
Let t be (-8 - -13) + -3*(-1)/3. Suppose 0 = -t*v - 156 + 6. Which is smaller: -28 or v?
-28
Let b = -7119/2 + 8229573/2312. Is 0 < b?
True
Let c = 39.8 + -46. Let i = c + 1.2. Let x = -146.47 - -146.37. Which is smaller: x or i?
i
Let z = 1065 + -740. Which is smaller: -2 or z?
-2
Let f = 19.2 - 16.18. Let s = 3.12 - f. Which is smaller: s or -78?
-78
Suppose -4*n - 3 = 5*j + 1, 3*n - 4*j - 28 = 0. Suppose -n*l - 4 = l + 4*g, 4*l - 5*g = 5. Does l = 0?
True
Suppose 63*a = 99*a - 252. Which is smaller: 15 or a?
a
Let z = 109 - 44. Let b = 64.5149 + 0.2451. Let c = b - z. Do c and 1 have the same value?
False
Suppose 34093 = -25*f - 124*f - 35043. Which is smaller: -471 or f?
-471
Let n = -1518 + 1469. Is n at most as big as 1.4?
True
Let g(a) = a**3 - 9*a**2 + 7*a - 5. Let v be g(9). Suppose -2*k - 32 = -46. Let p be 6*k/21 + 57. Are v and p equal?
False
Let d = 2858/3 + -944. Let m = -18 + 26. Let i(k) = -k**2 + 9*k. Let n be i(m). Which is greater: d or n?
d
Let k = -565 + 575. Suppose 6*u = -k*u - 2*u. Which is smaller: -0.6 or u?
-0.6
Suppose -973 = 6*p - 3*p + 5*i, 648 = -2*p - 4*i. Let j = p - -404. Which is bigger: 82 or j?
82
Let g = 0.03 - 4.03. Let o = g - -2. Let a = -188.4 - -188.8. Does a = o?
False
Let r = -104 - -108. Let m be -4 + -1 - 1*-3. Let a(w) = -4*w - 3. Let z be a(m). Which is greater: z or r?
z
Let z be (765/(-102))/(1/(-2)). Suppose 2*g - 3*b - 57 = 0, 0 - z = 5*b. Suppose -3*a = -f - 2*a + 19, -2*f + 5*a + 26 = 0. Which is bigger: g or f?
g
Let h = -133.439 + 0.439. Let v = -63 - h. Which is bigger: v or -0.3?
v
Let v = 101/37 - 367/148. Is -2878 greater than v?
False
Let q(n) = 27*n + 1. Let s be q(2). Let b be ((-4)/s)/(2/(-5)). Let h = -3.31 - -3.21. Which is greater: b or h?
b
Let t = 167 + -89. Let j be 40/(-6)*t/(-65). Suppose j = -7*x - 118. Is -19 != x?
True
Let k be (2*1 - -1)*28421/291. Let a = k + -312. Is -23 >= a?
False
Let i be (23/1)/(4 - 3). Suppose -2*n - 4*l + 30 = -7*l, i = 3*n + l. Is n greater than 76/9?
True
Let z = 6481 - 6515. Which is smaller: 41 or z?
z
Let g be (-3820)/75 - 20/300. Which is smaller: g or -149/3?
g
Suppose -5*s = 5*r + 10650, 0 = -1884*r + 1885*r + 1. Is -2130 at most as big as s?
True
Let s = -59526 - -415612/7. Is -153 smaller than s?
True
Suppose -3097 = 148*s - 10034 - 3571. Which is greater: s or -45?
s
Let u = -8.978 + 9. Let a = 2769 + -2777.978. Let j = a - u. Is 1 less than j?
False
Suppose -32*h + 15*h + 4862 = 0. Suppose -a = 327 - h. Which is smaller: a or -40?
a
Let x be -11 - (-31 + 270/(-15)). Are x and 52 unequal?
True
Suppose -14780 - 24776 = 58*d. Which is smaller: d or -10?
d
Let o be 240/(-39) - (-6)/39. Let c be 20/(-6)*2/8*o. Is -5 < c?
True
Let v(r) = 43*r**2 - 5*r - 25. Let t be (-12)/(0 - -2) - -3. Let l be v(t). Which is smaller: 378 or l?
l
Let g = 54 - 51. Suppose 0 = -u + g*m + m - 66, -430 = 5*u + 5*m. Is 1/4 bigger than u?
True
Let m be ((-19859)/102)/(70/10 - -9). Let q = m + 1/544. Is 2 bigger than q?
True
Suppose -2*t - 2*p = -24, 4*p = -6*t + t + 63. Let o be 1520/t + 5 + 8. Which is bigger: 1 or o?
o
Suppose 7*x - 4*x = 3*j + 567, -3*x - j = -583. Let k = x + -192. Are 4/35 and k nonequal?
True
Suppose -29*b + 135 = 48*b + 58*b. Do -4/95 and b have different values?
True
Let s be 20/(-64)*(-2436)/(-12615). Let p be 2/(-2) + 3 + -2. Is p < s?
False
Let h(x) = -28*x**2 - 3*x - 4. Let o be h(-1). Is -20 > o?
True
Suppose u + 627 = 4*d, -4*u - 5*d - 2219 = 331. Is u smaller than -633?
True
Let u = 4772 - 4771. Suppose 4*c = 2 + 2. Let m be c - (0 - 78/(-79)). Is u smaller than m?
False
Let u = -1.1 - -1. Let j(v) = 2*v**2 - 5*v + 5. Let p(g) = -g**2 + 19*g + 3. Let s be p(19). Let c be j(s). Is u > c?
False
Let k = -1153/435 + 336/145. Which is bigger: 2730 or k?
2730
Let k(z) = z**2 + 6*z + 3. Let w be k(-2). Let s be 10/w*17/2. Let y = 4 + s. Is -13 bigger than y?
False
Let l = 264 + -222. Suppose -2*w + 3*y + 35 = -46, 0 = -5*w + 4*y + 206. Is l at most w?
True
Let w be (2/24)/((-2)/20). Let j = 3221 + -3229. Which is smaller: w or j?
j
Let z = 320 - 300. Let d(x) = x**3 - 21*x**2 + 18*x + 7. Let j be d(z). Is j greater than 1?
False
Let i = 25/49 - 26676/52381. Is i less than or equal to -1?
False
Let a = -0.2 + 0.3. Let j = -0.1945 - 105.7055. Let r = -106 - j. Which is greater: r or a?
a
Let b(c) = c**3 - 4*c**2 - 12*c + 14. Let m = 170 - 164. Let q be b(m). Let r = -1224/13 + 6978/65. Is q equal to r?
False
Let a(d) = -d**3 + 8*d**2 - 9*d - 5. Suppose 0 = -3*h + 2*m + 16 - 4, 2 = -2*h - 2*m. Suppose -3 = -h*v + 7. Let w be a(v). Is w > 25?
False
Let s = 16269 - 16186. Is 43 > s?
False
Let d be 5/2*11/((-33)/(-6)). Suppose d*w - 2*b - 19 = 0, 0*b + 3*b + 6 = 0. Suppose w = -p - 24. Which is greater: p or 1?
1
Suppose 386 = -s - 2*i, 1955 = -53*s + 48*s - 5*i. Which is smaller: -391 or s?
s
Suppose 0*f + 44 = -f. Let g = f + 40. Is g >= 7/2?
False
Let f = -770666/197 - -3912. Let r = -745 + 753. Let s be 416/52 - (r + -1). Is f smaller than s?
True
Suppose -2*v = -x + 144 + 41, -2*x + 374 = -5*v. Suppose -168 = 9*u - x. Does 1/1400 = u?
False
Suppose 2*a = -c - 8, -2*a - 25 = 3*a. Suppose 0 = 12*o - 10*o - 8. Let g be (-1)/o + 15/12. Which is greater: g or c?
c
Let k be 143052/522830 - 15/55. Is -1 at least k?
False
Let f be 12*7/21 - 60249/75. Let n = 798 + f. Is n at most as big as -2?
False
Let h(x) = -x**2 + 18*x + 1. Let z be h(18). Suppose 3*q - 31 + z = 0. Suppose 13*k = 11*k - q. Is k < -5?
False
Let h = 10037 + -10098. Which is smaller: -45 or h?
h
Let q = 53.9 + -62. Let i = 328.6 - 336.7. Let v = i - q. Is v >= -15?
True
Let j be ((-64)/6)/(5/15). Let c = -75 - -76. Let p be 1 - 398/12 - c/(-6). Are p and j unequal?
False
Let n = 3.09601 - -0.00799. Which is smaller: -0.1 or n?
-0.1
Let l = 3.92 + 0.08. Let k = l + -3. Let c = 1.643 + -1.653. Which is smaller: k or c?
c
Let k = -98.29 - 3.71. Let l = 101 + k. Which is smaller: l or -210?
-210
Suppose 0 = 2*c + 41 - 37. Let l = -25979/120 + -133/120. Let k = l - -216. Which is smaller: k or c?
c
Let w = -22667351/774702 - -19190/669. Let y = -7/193 + w. Is -1 != y?
True
Let b = 323 - 320. Suppose 0 = -b*v - 3*k + 204, 4*v - 177 - 97 = -3*k. Is 71 bigger than v?
True
Let d = -472 + 225. Suppose 0 = -4*f - 2*a - 998, 2*f - 59*a + 513 = -62*a. Is d at least as big as f?
False
Let p(v) = v**3 + 10*v**2 + 6*v + 71. Let o be p(-10). Which is smaller: o or 208/17?
o
Suppose 0 = -2*v - 0 + 10, 4*f - 3*v = -7. Let d be 44/(-6)*1/f. Suppose -5*p = 5*l + 15, 4*l + 5*p + 11 + 1 = 0. Which is smaller: l or d?
d
Let a be 12/8 - (-35)/(-10). Let s be 3 + 1 - (a + (-340)/(-57)). Are s and 1 nonequal?
True
Let r = 72.49 + -1.49. Let z = -0.0679 - -71.2279. Let g = r - z. Which is bigger: 0.2 or g?
0.2
Let v be (44/14)/((-204)/238). Is -3 equal to v?
False
Let y = 8167.3 + -7528. Let t = y + -634. Let b = -1 - -1.1. Do t and b have different values?
True
Let j = 86 - 31. Let w = 147 - j. Is w <= 93?
True
Let h = 1771 + -1713. Which is smaller: h or 636/11?
636/11
Let o be (-7 - -7) + (0/(-3) - -1). Let y be (3 - o)*((-9)/(-3))/3. Suppose y*g + 394 = 158. Which is smaller: -117 or g?
g
Let y(n) = -n**2 - 76*n - 409. Let i be y(-70). Let f = -15 + 20. Are i and f nonequal?
True
Suppose 0 = -4*g + 142 - 234. Which is greater: g or -360?
g
Let m = -114926617/132 + 870661. Let y = m + -52/11. Is 1 at most as big as y?
False
Let w = 0.04958 - -578.95042. Which is bigger: 4 or w?
w
Suppose -152*r + 10544 + 6328 = 0. Which is greater: 97 or r?
r
Let n(b) = 3 + 2*b**2 + 145*b - 163*b - b**2. Let m be n(18). Which is bigger: m or -72?
m
Let f be (0 + 2 - 3) + (-2)/((-124)/1190). Which is smaller: 17 or f?
17
Suppose 5*x + 1600 = 7*x. Let p be 2/14 - x/(-280). Is p greater than or equal to 60/31?
True
Let s be (72/(-14))/(5*(-14 + 6874/490)). Are s and -90 non-equal?
True
Let o = 67.19 - 68. Let i = o - -0.91. Which is smaller: -2 or i?
-2
Let r = 1275 + -1051. Are 1 and r equal?
False
Let j(r) = -r**3 - 13*r**2 - 24*r - 15. Let q be 66/6*2/(-2). Let x be j(q). Let c be (x/1)/((-3)/(-3)). Is 6 at most c?
True
Let z = 12 - -23. Let g be 4*(798/56)/(-19). Which is greater: g or z?
z
Let y(u) = 2*u**3 - 58*u**2 + 388*u - 24. Let p be y(21). Do 106