Let v = 39.9 + -2.9. Let a = v + -36.8. Let j be (2/6)/(1/3). Which is bigger: a or j?
j
Let t be ((-6)/((-5088)/(-40)))/((-242)/12). Let h = t + -1/53. Which is bigger: -1 or h?
h
Let x = 2.515 - 1.815. Which is bigger: x or 0.01?
x
Let c = 450 + -448.13. Let p = 3.2 - 3.07. Let m = c + p. Is m >= -3?
True
Let m = 9.5346 - 9.56. Which is greater: m or 0.1?
0.1
Let v be -3 + -1 + 7 + -1. Let m = v - -3. Suppose 7*x - m = 2*x. Is -6 equal to x?
False
Suppose -60 = 4*l - 4*o + 4, 3*l + 5*o + 64 = 0. Let n be (-5 - -3) + 1*l. Let c = 7 - n. Which is smaller: -1 or c?
-1
Let l = 33 + -30. Suppose -q + l*q + 11 = -t, t + 25 = -4*q. Is q > -8?
True
Suppose 0 = 2*s + 4 - 12, 5*p + 5*s + 495 = 0. Let f = -94 - p. Which is smaller: f or 17/2?
17/2
Suppose -23 - 21 = -h. Suppose -q = q - h. Suppose q + 18 = -4*d. Which is smaller: d or 1?
d
Let r = -2213.51 + 2237. Let n = -0.51 - r. Is n bigger than -1?
False
Let v(q) = 6*q + 7. Let j be v(7). Suppose j = -5*n - 41. Let l = -8 + -11. Are n and l unequal?
True
Let d = -1897 - -2809. Are d and 911 nonequal?
True
Let g = 1.2 - 3.12. Let i = g + -0.08. Is i less than 1/4?
True
Suppose -10 = -9*z + 4*z. Let c be (-1 + 5)/(4 + -2). Let f be z + c - 6/2. Which is greater: 2/67 or f?
f
Let q be (1/(-5))/(17/((-1530)/1818)). Is q at most as big as 2?
True
Let q = -270959/804 - -53/201. Let c = -340 - q. Is c at most as big as -3?
True
Suppose 5*s - 15 = -2*t, -2*t = -s + 3*s - 6. Which is smaller: t or 3/55?
t
Suppose 5*a = -3*q + 65, 3 = 4*a - 1. Let f = 19 - q. Is -1/70 < f?
False
Let f = 50.9 + -65.9. Is f bigger than 2/7?
False
Let a = 1415 - 1145. Which is bigger: 272 or a?
272
Suppose 24 = 3*r - 0*r. Let m be ((-3)/(-6))/((18/28)/9). Is r at most as big as m?
False
Let v be (-69)/6 + (-1)/(-1) + 1. Are v and -11 equal?
False
Let s = -3/4 - -1/4. Let t = 8 + -2. Let x(h) = h - 6. Let k be x(t). Which is smaller: k or s?
s
Let c = -315 - -725/2. Let k = -49 + c. Let w = 1.2 - 1. Which is greater: k or w?
w
Suppose 0 = 15*q - 17*q + 28. Let r be (-4)/q - (-525)/(-49). Is -8 >= r?
True
Let d be (1 + -2 + 0)*-5. Suppose 5 - 25 = -d*f. Suppose -3*n + 40 = 5*t, -f*n = -0*n. Is 0 bigger than t?
False
Let n(m) = 26*m - 179. Let x be n(3). Is -94 smaller than x?
False
Let p = 38.9 - -2.1. Let z = 57 - p. Which is smaller: z or 0?
0
Suppose -7*j + 9*j = t + 90, 0 = 2*t - 5*j + 185. Let s = 173 + t. Which is greater: 94 or s?
94
Let o = 3.7 + -0.5. Let m = o - 3. Let j = -38 - -36. Is m at most as big as j?
False
Let r be 18/10 - (80/(-25))/(-4). Is 2/9 at least r?
False
Suppose -17 = -2*w - 3. Suppose -19*g - 36 = -g. Do w and g have different values?
True
Let i = -0.105 - -0.005. Let f = -0.026 + 22.026. Is f > i?
True
Let w = -118 + 118. Suppose -3*s + 0*s + 2*t = w, -s - 5*t = 17. Is s smaller than -1?
True
Let f = 84 + -65. Let d = 41/6 - -35/3. Which is smaller: f or d?
d
Let d = -27.77 + 30. Let l = 24.63 - d. Let r = 1.4 - l. Which is smaller: r or 2/3?
r
Let b(o) = -5*o**2 + 2*o + 8. Let h be b(-2). Is h < 4?
True
Let a be 0 + 0/(-1 + -11). Is -243 at least as big as a?
False
Let v be (1 + 14)/(8/(-8)). Let p be 0/(-3) + -2 - v. Let c = -10 + p. Is c > 1?
True
Let c(z) = -15*z - 99. Let l be c(-4). Is -17 not equal to l?
True
Suppose -5*z + 0*z = 5*c + 20, -c = 0. Let q be 297/(-93) + -3 + (z - -10). Suppose 4*b + 0*b + 29 = 5*g, -25 = 5*b - 4*g. Which is smaller: q or b?
b
Let b = 917 - 916. Which is smaller: b or -5/137?
-5/137
Let w = 483893/45 + -10757. Let f = -18/5 - w. Which is greater: -7/2 or f?
f
Let m be ((-44)/10 + 4)*-5. Let j be 2/4 + 2*(-1)/m. Which is smaller: 2/59 or j?
j
Suppose 0 = -9*a + 14*a + 10. Let v be ((-1 - (-72)/(-4))*a)/(-2). Let t be (38/(-4))/((-2)/(-4)). Are v and t nonequal?
False
Let u = 15556/7 - 46675/21. Let s(v) = v - 33. Let a be s(0). Are a and u equal?
False
Suppose -3*u + 62 = 5*v, 0 = 2*v - u + 5*u - 36. Let o be ((-24)/20)/(62/v). Which is bigger: -1 or o?
o
Let x = -11 + -18. Suppose -9*l - 204 = 39. Which is bigger: l or x?
l
Let l be (9/(-27))/(1 - (-46)/(-44)). Let u = -20/3 + l. Which is greater: -0.1 or u?
u
Let o(w) = w**2 + w + 9. Let g be 6/(-4)*2 - -5. Let k(x) = -5*x**2 - 5*x - 37. Let s(m) = g*k(m) + 9*o(m). Let z be s(0). Does 7 = z?
True
Let z be -3*6/45*-10. Suppose 3*p - 6 = z*q, 4*q + 3*p = -1 - 17. Which is smaller: 6/13 or q?
q
Let k be (-2)/(-11) + 1216/209. Which is smaller: 29/5 or k?
29/5
Let f = -614 - -554. Is f greater than 2?
False
Let d = -1825 + 1824. Is -11/36 bigger than d?
True
Let h(i) = i**2 + 5*i + 3. Let f be h(-5). Suppose 2 = r + f. Which is bigger: r or -2?
r
Suppose 3*c = -2*b - 404, c + 106 = -b - 28. Which is smaller: -135 or c?
c
Suppose 0 = -5*z - 69 - 171. Let x be 8/(-6)*z/(-4). Let a be x/(-72) - (-4)/(-18). Which is smaller: 5 or a?
a
Let y be -21*((-52)/28 + 1). Let b be (-4496)/(-36)*y/15. Let s = 150 - b. Is s equal to 1?
False
Let r be (2/25)/(-1 + 2). Let o(t) = -3*t - 20. Let x be o(-8). Let k be x/(-14) + (-2)/(-7). Which is smaller: r or k?
k
Let j(t) = 4*t**3 + t**2 + t + 5. Let a be (4 - 0 - 4) + -2. Let n be j(a). Are -26 and n equal?
False
Let d = 33 - -27. Let t = 61 - d. Is t not equal to -5?
True
Suppose -513 = 6*v - 483. Let t be (3/6)/(1/2). Let b be (1 + -9)/2 + t. Is b less than v?
False
Suppose 0 = 2*f + i - 46, i = f - i - 33. Suppose 1335 = -10*m - 5*m. Let r = m + 115. Which is smaller: f or r?
f
Let j be 54*(483/(-14))/23. Which is bigger: j or -77?
-77
Let b = -25 - -25. Let a be (b/(2 + -3))/(-1). Which is smaller: 8/13 or a?
a
Suppose -10*p + 8*p = -4. Which is bigger: p or -4?
p
Let w = -115 + 114. Are 14.8 and w non-equal?
True
Let m = 1242 - 1242. Let x be (-1)/(-18)*(-1 + 5). Is x greater than m?
True
Suppose 4*r = -3 + 7. Suppose r = -o + 4*n, 3*n - 22 = 4*o + 5*n. Let s(m) = m**2 + 4*m + 1. Let w be s(o). Does w = 6?
True
Let l be (-1)/7*((-93)/33 - -3). Is l at most as big as 0?
True
Let w = 8519/25 + -341. Suppose 24 = -4*s - 4*c - 36, -5*s + 3*c = 51. Let y = s - -13. Is y equal to w?
False
Let z = -83 - -108. Let o be (-65)/z + 8/(-20). Are -42/11 and o equal?
False
Let n be (3 - 186/(-10))/((-5)/25). Which is smaller: n or -109?
-109
Suppose -139*k + 140*k = -26. Is k smaller than -30?
False
Let d = -31 + 33. Let p be 207/102 + (-4)/d. Is 0 less than p?
True
Let w = -1/1698 + -137533/8490. Are w and -17 unequal?
True
Let t = -1.4 - -1.8. Let x(n) = -3*n**2 + 2*n - 1. Let o be x(1). Let u be -2 - 3/9 - o. Is u > t?
False
Suppose 4*x = 5*h + 57 - 16, h - 5*x + 25 = 0. Let z be (-28)/6 - (-2)/3. Which is greater: h or z?
z
Suppose 17*z - 6 = 14*z. Suppose 0 = 5*i - g + 10, -z*g + 0*g + 11 = -i. Let m = 107/3 + -36. Do i and m have the same value?
False
Let y = 22.5 - 22.4. Which is smaller: y or 5/3?
y
Let l(x) = -x - 13. Let a be l(-13). Suppose 8 = -2*k - a*k. Are k and 1 non-equal?
True
Suppose -27*r + 13*r = -28. Which is bigger: r or 213?
213
Let g(h) = h**3 + 5*h**2 + h - 5. Let t be g(-5). Let c(l) = 3*l + 10. Let f be c(-6). Let q be f/20 + (-106)/10. Is q less than or equal to t?
True
Suppose 10*f = 429 - 179. Are -1/2 and f equal?
False
Let m = -95 + 353. Which is smaller: m or -0.2?
-0.2
Suppose 3*q - 2*j + 63 = 0, 5*q + 92 = -j - 13. Let w be q/(-35) + 4/10. Let a be -3 + (0 - (w + -2)). Which is smaller: a or -2/3?
a
Let l = -0.46 + 0.45. Let z be -2*66/12 - (-3 - 0). Which is smaller: z or l?
z
Suppose -343*h - 3 = -340*h. Is h at least as big as -4.1?
True
Let k be (4 - 21)*(-2)/(-2). Suppose -5*x - 45 - 40 = 0. Is k at least as big as x?
True
Let u(j) = -5*j**2 - 1. Let g be u(-1). Suppose h - 15 = 2*a + 8, 0 = 2*h - 10. Let k = a - g. Is -2 less than k?
False
Let g = 2.5 - 3. Let b(o) = o**3 + o**2 + 2*o + 3. Let p be b(0). Suppose 9*t = p*t. Which is greater: g or t?
t
Let t be 13/15 + 4/(-6). Let m = -3/10 - t. Let q(h) = h**2 - 14*h + 11. Let p be q(13). Is p != m?
True
Let w = -122 + 119. Let p be 3/6*-8 - w/1. Do p and 1/22 have the same value?
False
Let w = 27 - 27.11. Let c = -0.03 + w. Let v = c + -2.86. Is v equal to 1?
False
Let k(x) = 0*x + 1 + 12*x + 8*x - 5*x. Let c be k(0). Let v be ((-1)/3)/((-14)/(-6)). Which is smaller: v or c?
v
Suppose -3*v = -3*t - v + 10, -v = 4*t - 17. Suppose 0 = -7*b + t*b + 27. Let o = 3 - -6. Does b = o?
True
Let i = -1