54625)/1050. Which is smaller: 148 or a?
a
Let r = -0.7 + 0.5. Let n = 614 + -686.6. Let x = -73 - n. Which is greater: x or r?
r
Let l be 2324/(-3366) + 344/946 + (-2)/(-18). Is l at least as big as -2/19?
False
Let o = -15430 + 15431. Which is greater: 41/235 or o?
o
Let w be 3 + 545/(-209) - (-6)/(-33). Let z = 3/76 + w. Let i = 4049/30 - 135. Which is bigger: i or z?
z
Suppose -5*p - 4*b = -22, -2*p + 4*p - 19 = -5*b. Let q(a) = -a**3 - 5*a**2 - 2*a - 1. Let y be q(-4). Let t = -8 - y. Is t equal to p?
False
Let d(u) = 2*u**2 - 19*u - 13. Let n be d(10). Let r be ((-12)/18)/(2/n). Which is smaller: r or 1/332?
1/332
Let i be 38/(((-12)/12)/(1/(-1))). Let h be (-218)/(-6) + 2/3. Is i < h?
False
Let n = -30873 + 10558615/342. Is 1 greater than or equal to n?
True
Suppose 13*s - 11*s = -3*j - 182, 2*s + 150 = 5*j. Is -339/4 <= s?
False
Let f = -485 - -488. Suppose -3*c = -4*c - 3*s + 8, 3*c - f*s = 0. Is c at least as big as -23?
True
Let l(q) = -q**2 + 8*q - 3. Let a be l(6). Suppose 8 + 1 = -a*w. Is -154 greater than or equal to w?
False
Let a be ((-106320)/(-160))/((-57)/24 - -2). Does -1773 = a?
False
Suppose -3*q + 272 = -5*h + 690, 4*q = 5*h - 414. Suppose 0 = -2*t - f + 114, -4*t + h + 142 = -2*f. Let k = 45 - -12. Is k bigger than t?
False
Let z = 7 - 3. Let j(q) = 4*q**3 - q + 2. Let p be j(1). Suppose 4*s + 1 - p = -4*w, -5*s - 10 = 2*w. Which is greater: w or z?
w
Suppose 2*r + 10*l = 9*l - 11, 3*r + 4*l = -14. Let x be r - 222/(-24) - 3/(-4). Suppose -3*q = 3*g - 51, 5*q - 4*g - 42 = x*q. Is q less than -2/5?
False
Let k = 32344 - 32277. Let q(u) = -u**3 - u**2 + 63. Let x be q(0). Which is smaller: k or x?
x
Let t = 121 + -115. Let n be (-77)/(-11) + t/(-1). Is 26/19 equal to n?
False
Let m(z) = z**3 - 111*z**2 + 5*z - 555. Let c be m(111). Which is bigger: c or -25/178?
c
Suppose -63*y = -60*y + 4*s + 6655, s + 8895 = -4*y. Which is bigger: y or -2226?
y
Suppose 0 = 28*x - 25*x. Let p be (-85)/(-12)*(-1218)/(-980). Let t = p - 66/7. Which is bigger: t or x?
x
Let y be (-20448)/(-19) - (-96)/(-456). Which is smaller: y or 1071?
1071
Let w(m) = 2*m**3 - 4*m**2 - 4*m - 4. Let v be w(3). Suppose o - 705 = 4*o + 5*t, 3*o + v*t = -705. Which is smaller: -236 or o?
-236
Suppose -237*q + 1144 + 673 = -2686. Is q less than -0.222?
False
Let f(p) = 30 + 18*p**3 - 17*p**3 - p + p + p**2 - 7*p + 3*p**2. Let s be f(-6). Which is smaller: -110 or s?
-110
Let v = 2655 - 2684. Let f = 55 + -82. Is f > v?
True
Let g = 5.2 + 76.8. Is g equal to 44?
False
Let l = 568 + -566. Is l not equal to 4?
True
Let o be (-1479)/49 - ((-14080)/(-280) + -49). Which is smaller: o or -31?
o
Let c be 0*(2 - 3/1). Let p = 6145.79 - 6188. Let q = 42 + p. Are c and q nonequal?
True
Suppose 14*a = -3*s + 19*a - 51, 3*a = 2*s + 34. Let r(b) = b**3 + 19*b**2 + 19*b + 11. Let d be r(s). Are d and 267 equal?
False
Suppose 17*m - 1 = 9*m - 1. Let a be -2*2/(-12)*18. Which is smaller: m or a?
m
Suppose 2*d - 5*i = -15, 31*d - 6 = 27*d - 2*i. Which is smaller: d or -2/1319?
-2/1319
Let a be 414/552*12/9. Is a at most -1/6541?
False
Suppose -k - 3*k = 53*k - 57. Is k greater than or equal to 2/20081?
True
Let j be (12 - 320/20)/25478. Which is smaller: j or -1?
-1
Let q be (-5523)/2415 + -13 + 15. Are 1 and q equal?
False
Suppose -53 - 522 = -25*p. Let c(o) = -o**3 + 22*o**2 + 22*o + 8. Let s be c(p). Which is smaller: -14 or s?
s
Let h be (-115)/(-138) - ((-6)/15 + 21/90). Which is greater: 1/1337 or h?
h
Let l(x) = 11*x + 136. Let z be l(-12). Suppose -z*t - 58 = 2*i, -6*i + i = -4*t - 37. Is -8 smaller than t?
False
Let m = -51/422 + 30113/256154. Is -1 < m?
True
Let z = 11096 + -11096.96. Which is smaller: z or -38?
-38
Let d(u) = -144*u**2 - 2162*u - 13. Let k be d(-15). Do k and 235 have the same value?
False
Let i be ((-64)/(-3))/((-260)/3510). Which is bigger: i or -2015/7?
-2015/7
Let r(x) be the third derivative of -x**4/8 - 145*x**3/6 + 217*x**2. Let c be r(-48). Which is bigger: -0.099 or c?
-0.099
Let s(h) = h**3 + 2*h + 200. Let q be s(0). Let l = q + -85. Is l less than or equal to 117?
True
Let s(c) = -281*c - 2948. Let a be s(-7). Is -987 less than a?
True
Let x(r) = -140*r**2 - 126*r + 251. Let j be x(2). Which is bigger: -557 or j?
-557
Let j = 1115 - 783. Let m = j - 383. Is -1 < m?
False
Let k = -1 - -1. Suppose k = 5*h - 2*h + 228. Let n(f) = 529*f + 982. Let r be n(-2). Is r not equal to h?
False
Let v = 19692 + -19726.182. Let a = v - -0.182. Let w = 0.2 - 0.1. Which is smaller: w or a?
a
Let n be (3/((-225)/(-3)))/(198/7245). Let a = n + 3/22. Suppose 0*x + 3*x = 2*z + 8, -3*x = -12. Is a less than or equal to z?
True
Let r = -10218.42 - -10214. Which is greater: r or 6?
6
Let d = -55.358 - 7.062. Let q = 62 + d. Let l = q - -12.42. Is l less than 1/4?
False
Let j = -219/3320 + -3/332. Suppose 30*i = -351 + 321. Is j <= i?
False
Let m = -3424/1785 + 52/255. Let x = 3 - 2. Let t be (-2)/3*3 - x. Is m equal to t?
False
Suppose -2*a + 3*h = 152, a = 4*a + 5*h + 228. Let m = -43 - a. Suppose 0 = -8*x + 5*x + m. Is x at most as big as 10?
False
Let j be -1061*((-3)/3 - -2)*8/(-8). Is 1059 at least as big as j?
False
Let i = -856/149145 + -2/2445. Is -5 greater than i?
False
Suppose 4*s = 3*c - 19, -5*c + 6*s + 17 = 3*s. Let m be (-880)/242 - (-5)/c. Is m <= 2?
True
Suppose -184*z + 7138 = -1510. Is 233/5 at least z?
False
Let b be 2/4 - 21*9/(-54). Let v be b + -9 + 33/(-546)*-82. Is -1 smaller than v?
True
Let r(z) = -z**3 + 25*z**2 + 2352*z - 49. Let d be r(-38). Is d greater than or equal to 1538?
True
Suppose 54 + 754 = 8*d. Suppose 0 = 2*r + d - 9. Is -2 greater than r?
True
Let h be 6/(-15768)*4/(-6). Which is smaller: h or 0?
0
Let l = 1.7 + -7.7. Suppose 6 = -h - h, 3*v = 5*h + 27. Which is greater: l or v?
v
Let f(i) = 3*i**3 - 125*i**2 - 37*i - 211. Let q be f(42). Let y = -16/83 + 1416/3901. Which is bigger: y or q?
y
Let f(a) = a**2 - 4*a - 19. Let j be f(7). Let l be j/((6 - 4)/(-1)). Do l and 8/19 have the same value?
False
Let c(u) = -2*u**3 - 4*u**2 - 4*u + 7. Let f = -328 - -322. Let o be c(f). Is 320 > o?
True
Let r = 299088 + -5063260754/16929. Let g = 964939/118503 - r. Is 9 > g?
True
Let i be (-4 + (-1978)/(-558))/(6/(-36)). Let j = -2/31 + i. Which is smaller: 4 or j?
j
Let d(s) = -4*s - 60. Let h be d(-21). Let c be (-384)/h*6/(-44). Which is smaller: c or 2?
2
Let g = 0.057 + -0.437. Let u = g + 11.38. Which is greater: 2/7 or u?
u
Suppose -20 = -2*p - g - 23, 4*g - 6 = p. Let x be (-20)/p + -6 + -3. Which is smaller: x or -1/93?
-1/93
Let u = -11282 - -10651. Which is smaller: -630 or u?
u
Let r = 1.33 - 1.33. Which is bigger: r or -627?
r
Suppose -3*h + 185 = 4*l, -4*l + 5*h + 125 = -2*l. Let o = -216 - -139. Let f = l + o. Which is smaller: -24 or f?
f
Let y = -54478 - -54356. Let w(m) = 32*m + 6. Let z be w(-4). Do y and z have different values?
False
Let o = -109.9 - -14.9. Let x = 95.1 + o. Which is smaller: x or -0.144?
-0.144
Let r = 4/7 - -419/14. Let b = r - 31. Let f = -2692.4 + 2701.4. Is f < b?
False
Let c = 11949 - 11948. Which is smaller: c or 5/3094?
5/3094
Suppose -1996*p + 1968*p = 56. Is -58/51 at most as big as p?
False
Let k = -300.8 + 300.6. Is -1849 at most k?
True
Let k be 9 - 5720/442 - (-2)/(-34). Which is bigger: k or -1/575?
-1/575
Let p = 13332 - 119773/9. Which is greater: 24 or p?
24
Suppose 2*s = -c + 25, -c = 4*c + 5*s - 115. Let d be (18/c)/2 + 895/(-1925). Which is smaller: d or -2?
-2
Let p = 366 + -367. Let s be (-56)/35 + 4 - p/(-2). Is 3 less than s?
False
Let j = -286 + 286.2. Is j less than or equal to -10/89?
False
Suppose 5*g - 20*g = -90. Suppose 4*b = -0*b + 2*a - g, -5*a - 5 = 0. Let w = -9 + 5. Which is smaller: b or w?
w
Suppose -1024374 = -26*x - 273*x. Which is bigger: 3425 or x?
x
Let d be 10/(-2)*99/58740. Is 1 smaller than d?
False
Let k(r) = r**3 - 89*r**2 - 881*r - 97. Let s be k(98). Is 67/148 >= s?
False
Let x(y) = 4*y + 64. Let r(g) = 2*g - 56. Let k be r(21). Let n be x(k). Let m(c) = c**2 - 3*c - 5. Let d be m(5). Is d equal to n?
False
Let c = 1104731393/4155 + -265880. Does c = 1?
False
Let j(a) = -3*a - 19. Let l be j(-7). Suppose 545 = -5*w + 2*t + 3*t, 5*w = -l*t - 524. Which is smaller: -104 or w?
w
Let v = 2 - 5. Let l(w) = -8*w**2 + 7*w + 12. Let s(z) = 7*z**2