0 or i?
i
Let y = -10899 + 10846. Which is smaller: -48 or y?
y
Suppose -30*y + 213120 = -27*y - 40*y. Which is greater: -5757 or y?
-5757
Suppose 4*z + 28*f - 30*f - 184 = 0, -z + 4*f + 60 = 0. Is 441/10 > z?
True
Let n be (36/(-8) - -4) + -544. Let l = n + 537. Which is greater: -9 or l?
l
Let r be 0 - -1*14/(-10). Suppose 462 - 162 = 25*z. Suppose 5*v - 4*j = -0*j - z, -5*j + 15 = -5*v. Is r at most as big as v?
True
Let r = 32 + -63. Let j = r + 34. Let i be j/(21/(-26)) - (0 - 2). Is i at least as big as -3?
True
Let i = 7.4 - 7. Let s(v) = v**2 - 65*v - 55. Let y be s(66). Which is smaller: i or y?
i
Let t = -3935 - -25668003/6523. Are 1 and t equal?
False
Let m be ((-646)/(-60) - 2) + 18/168*14. Is m at most as big as 9?
False
Let n = 201 - -168. Let w be (-27)/n*(-6)/(-9). Suppose 5*g = m + 4, 4*g + 4*m - 2 - 6 = 0. Which is smaller: g or w?
w
Let z = 5028 + -5012.947. Let k = -0.053 + z. Let b = 17 - k. Is -3 at most b?
True
Let b = -127.945 + -0.055. Let q = b + 127.9. Which is bigger: q or -85/6?
q
Suppose 9*j - 30 = -3. Let q be 135/20*(-16)/(-6). Suppose 6*g - 3*g = q. Does g = j?
False
Let x = -0.4298 - 0.5702. Does -192 = x?
False
Let i(c) = 24*c**3 - c**2 - 2*c - 2. Let n be i(-2). Let y = -7352 - -7157. Is y greater than or equal to n?
False
Suppose 2*u - 7*u + 5 = 0. Let a = -244 + 174. Let p be (95/190)/(a/(-4)). Is p less than u?
True
Let p = 213.91 + -242.31. Which is smaller: 1 or p?
p
Suppose 4*i + 74 = -2*u, -i - 22 = i + 4*u. Let s = 21 + i. Suppose z + 2*w - 31 = s, 0 = -4*w - 6 - 2. Is z >= 36?
False
Let k = 56.962 - -0.038. Let r = -56.985 + k. Let l = 0.215 - r. Are l and -8 nonequal?
True
Let r(d) = -d**2 + 19*d + 461. Let n be r(-14). Which is smaller: -55/32 or n?
-55/32
Let u(o) = o - 13. Let h(w) = -4*w + 51. Let j(f) = 2*h(f) + 9*u(f). Let v be j(16). Are -36 and v equal?
False
Let t(u) = -u**2 - 1. Let f(g) = g**2 + 8*g - 8. Let q(m) = -f(m) - 2*t(m). Let k be q(7). Suppose 57 - 3 = k*a. Is a != 18?
False
Let t = 19 - -1325. Let u be (-2)/9 + t/4104. Is u less than or equal to -1?
False
Let x be (-3246)/(-36825) + ((-178)/350 - 21/(-49)). Which is bigger: x or -1/2?
x
Let w = 3795.2 + -4464. Let f = w - -668. Which is bigger: f or -18?
f
Suppose 8*m + 5 = 37. Suppose 10 = 5*p, 12*p - 38 = -m*z + 17*p. Which is bigger: z or -3?
z
Let s = 0.139 - 0.129. Is -0.063 < s?
True
Suppose 632 = 4*v - 5*z, 5*v - z - 616 = v. Let n be ((-2)/v)/(132 - 123). Are n and 1 non-equal?
True
Let u = 225 + -416. Let r = -229 - u. Which is smaller: -1 or r?
r
Suppose -3*s - 3638 = 4*d, 3*d + 3*s = 560 - 3287. Which is greater: -915 or d?
d
Let y = 609 + -652. Is -38 at least as big as y?
True
Let y = -5188 - -5182.6. Let j = -0.49 - -6.09. Let m = y + j. Is 0.04 smaller than m?
True
Let f = 1511 - 2305. Are f and -791 equal?
False
Let c = -4617 - -5559. Is c greater than or equal to 945?
False
Let f be (-14 - -8) + (-630)/(-5). Suppose 5*x = -115 + f. Is x bigger than 2/1475?
True
Suppose 0 = 17*f + 6 - 125. Suppose 0 = -5*v + 5*p - 25, p - f = 4*v - v. Let q be 4/(-14) + (-92)/119. Are v and q equal?
False
Suppose -3*f + 2*r - 54 = 0, -r - 4 = 4*f + 57. Suppose -5*s = -9*l + 5*l + 9, 0 = -5*s - 3*l - 37. Which is greater: s or f?
s
Let l = -206 + 205.97. Which is bigger: l or 3.8?
3.8
Let w(r) = -2*r**2 + r - 13. Let h(a) = -5*a**2 + 2*a - 27. Let g(p) = -3*h(p) + 7*w(p). Let c be g(-9). Suppose -c*d = -63*d + 1. Is -2/13 greater than d?
False
Let o = 1.33 - -4.45. Let y = o + 273.22. Which is smaller: 0.1 or y?
0.1
Let s = 96448/3 + -32150. Is s at most -1849?
False
Suppose -428*o + 603*o - 2275 = 0. Which is smaller: o or 275/23?
275/23
Suppose 0 = 4*z - 99 - 89. Let h = 82 - z. Suppose 15*k - 19*k = -l - 132, -5*k = -4*l - 154. Is h less than k?
False
Let p = 31.545 - 29.58. Let o = -7 - -7.035. Let b = p + o. Is -2 less than b?
True
Suppose 0 = 5493*r - 5538*r + 17145. Is r <= 382?
True
Let l be 24/8 - (0 + -1). Let f be 2*(1/l)/(4/(-8)). Let p be f/(-14)*-10 - -1*1. Which is bigger: p or 1?
1
Let j = -7216 + 7436. Which is greater: 1 or j?
j
Suppose j - 2 = 0, -2*g + 12 = j + 7*j. Is g bigger than 109?
False
Let w be 0 + (1/3)/(9/108). Suppose 0 = 2*m + 2*g + 4 + 158, 16 = -w*g. Which is greater: -79 or m?
m
Suppose 6*b + 2*s + 6786 = 2*b, b = s - 1698. Which is smaller: -1694 or b?
b
Let j be ((-132)/(-231))/(10/7). Let a be 9/24165*(-1179)/7. Let l = 1/179 + a. Is l <= j?
True
Let m = 7379 - 7637. Is -265 greater than or equal to m?
False
Let t = 185 + -120. Suppose -5*r + 3*r = z - 23, -5*z = 5*r - t. Is r bigger than 4?
True
Let j = -3166.7 + 3167.7. Which is bigger: j or -1704?
j
Let j = 279 + -191. Let i = j - 90. Let u be (i/3)/((-178)/9). Which is bigger: -1 or u?
u
Let c(y) = 76*y**2 + 1. Let m be c(0). Which is smaller: -2/21365 or m?
-2/21365
Let z(y) = -y - 696. Let t be z(27). Is t >= -744?
True
Suppose -23*q - 12 = -26*q. Suppose -q = 4*a - 2*b - 2, -5*a = -5*b + 15. Are 7/12 and a unequal?
True
Let y = -451/100 + -6/25. Let a = 32 + -22. Let s be 10*2/a*-3. Is y less than or equal to s?
False
Let r be (-5139)/45 + (-48)/60 + -14. Suppose -s + 5*w - 129 = 0, -2*w = 4*s - 6*w + 516. Is r > s?
False
Let f be 0/(612/162 - 1/(9/(-2))). Is 23/153 equal to f?
False
Let j = 9.8 + 11.2. Let d = 68 - j. Which is smaller: 1/5 or d?
1/5
Let x be (-7134)/(-20) + (8 - (-847)/(-110)). Let r = x - 358. Is -249 >= r?
False
Suppose -2*b - 7 + 11 = 0, -h + 5*b + 1154 = 0. Which is smaller: 1165 or h?
h
Let z = 13865/638 + -766/29. Is -5 >= z?
False
Let a(d) = 6*d + 9. Let g be a(-2). Let r(m) = 4*m - 10. Let s be r(g). Let q be 55/s + (-1 - -5). Does 2 = q?
False
Let m = -0.02738 - 0.77262. Do m and 10/13 have the same value?
False
Let f = 107 - 103. Suppose 4*r + f = 0, -38 = -5*x - 0*x + 3*r. Which is smaller: x or 12?
x
Let j be (-4 - (7 - 11))/1*(-1 + 0). Is 5/157 > j?
True
Let v = -7267 - -7267. Is -3/38 at least as big as v?
False
Let n be (-125)/(-183025)*(-2)/5. Let f = -44276/1281175 - n. Which is bigger: f or 0?
0
Suppose 59*g - 62*g = 99. Suppose 3*o - 4*n = -65 - 37, 4*o = -n - 136. Which is smaller: g or o?
o
Suppose -5*d - 9*c + 5*c + 815 = 0, -775 = -5*d + 4*c. Let r = -52 + d. Is 105 greater than or equal to r?
False
Let m = 3 - 4. Suppose -7*y + 145 + 317 = 0. Let s be 7/45*y/231. Which is smaller: m or s?
m
Suppose -4*u - 72 = 4*o, 2*u + 54 = -3*o + 3*u. Let d = -732 + 726. Is d bigger than o?
True
Let j = -0.0484 - -28.0484. Let r = 28.137 - j. Which is smaller: -2/5 or r?
-2/5
Let j(l) = -4*l + 51. Let o be j(12). Suppose -o*a = -4*a - 4*c - 29, c - 22 = 3*a. Let t be (12/a)/((-4)/(-6)). Is -3 at least as big as t?
False
Suppose -9*f + 3862 = 2*b - 4*f, 4*b = -6*f + 7748. Is 1946 at most b?
True
Suppose 0 = -81*l + 7786 + 2015. Are l and 0.5 equal?
False
Let g(n) = -8*n**3 + 2*n + 1. Let q be g(-1). Suppose -173*j - 36 = -167*j. Let y be ((-477)/54 - j)/(1/(-2)). Which is smaller: y or q?
y
Let b = -258 + 215. Let o be b/(-5) - 22/(-55). Are 4 and o nonequal?
True
Let d = 9081 - 9083. Is d bigger than 17/27?
False
Let u = -35/44 - -6/11. Let a = -56.4 - -56. Which is smaller: u or a?
a
Let o be (-1)/(-2)*1*(375 + -7). Are 181 and o equal?
False
Suppose 373 = 3*b + 5*h, 6*h - 5*h + 266 = 2*b. Let f = b - 3273/25. Do -0.3 and f have the same value?
False
Let d be -12 - ((-2550)/21)/5. Let l be 22*((-9)/(-6) + -1). Which is greater: l or d?
d
Let k = 5382711/35 + -153777. Let t = -73/5 + k. Let q = 1.97 - -0.03. Which is smaller: t or q?
t
Let b = -63 - -63.68. Let r = -0.56 + b. Let x = -2.12 + r. Which is smaller: x or -6?
-6
Suppose -510*o - 3962052 = 118*o. Is o >= -6309?
True
Let p = -264.98 - 23.92. Let j = p - -289. Which is smaller: j or -1.02?
-1.02
Suppose -15 = 16*w - 13*w. Let t be (1 + -1 + w)*(-3)/(-24). Let y = 0.3 + -0.5. Is y at most t?
False
Suppose -14 = -2*x + 4*h - 48, 0 = -5*x + 5*h - 65. Let n(d) = -d**2 - 7 + 7 + 8 - 8*d. Let m be n(x). Is -4/35 not equal to m?
True
Let j(r) = 23*r**2 + 74*r - 552. Let v be j(7). Are v and 1093 nonequal?
False
Suppose -2*r - 97 = -3*f, 58 = f - 125*r + 128*r. Which is smaller: -68 or f?
-68
Suppose 3*d - 17 = -4*a, 0 = -7*d - a + 3*a + 85. Let j be ((-2)/d)/(194/(-97)). Is 0 equal to j?
False
Let k = 7.347 + -7.554. Let s = 0.4 - -0.6. Which is bigg