/1. Is 3.7 bigger than j?
True
Let f = 8 - 4. Let c = -319/3 - -659/6. Is f smaller than c?
False
Suppose 2*x = 5*s - 4, s + 2*x + 1 = -3. Suppose s = 2*w + 2*w. Let a be (-57)/35 - 1/(-5). Which is smaller: w or a?
a
Suppose 123 + 549 = 4*n. Let o be (-2)/6 + 44/n. Let b be 2/12 + (-5)/(-6). Is b at least o?
True
Suppose 57*g + 1400 = 17*g. Which is greater: -13 or g?
-13
Let c be 4/5*(-20)/(-8). Suppose -c*u + t - 8 = 0, u - 3*t = -0*u - 14. Is u < -1?
True
Suppose 0 = 10*v - 7*v - 108. Let t be 24/v*(-6)/(-4). Which is greater: -1/18 or t?
t
Let f(s) = -4 + 10 + 4 - 1 + 8*s. Let n be f(-3). Is 1 equal to n?
False
Suppose 4*i = 5*l + 5, -6 = -0*l - 2*l. Suppose -i*x + 3 = 2*t, 2*x + 3*t = -0*t - 1. Is x at most as big as -8/55?
False
Suppose -4*o + 4 = 4*w - o, 5*w - 4 = -4*o. Suppose 0 = 4*d + 3*g - 5, -w*g - 19 = 1. Suppose 10*y = d*y - 4*u + 13, -y + 3*u = 5. Is y at most -1/4?
False
Let s = -0.04 + 0.04. Suppose 70 = 3*i + 196. Let z be (i/(-35))/((-4)/(-10)). Which is bigger: z or s?
z
Let u = -7/10 + 6/5. Let b = 129 - 128. Which is smaller: b or u?
u
Suppose 3*k + 1305 = 14*a - 15*a, a - 2167 = 5*k. Is -431 at most as big as k?
False
Let x = -68.9 - 3.1. Let b = x + 94. Which is smaller: b or 1/4?
1/4
Let l be (5 + -3)/(6/(-46) + 0). Suppose -5*v - 4*w = -0 + 75, 5*v = 2*w - 75. Is v > l?
True
Suppose 588*d - 589*d + 1 = 0. Are d and -6/295 non-equal?
True
Let o = -8 + 16. Let r be o/6*6/(-4). Let j be 4/r*3/(-2). Which is smaller: j or 2?
2
Let g(d) = 3*d**3 - 2*d**2 - 7*d + 4. Let i(l) = l**3 - l**2 - l. Let c(b) = -g(b) + 2*i(b). Let k be c(-3). Is 2 < k?
True
Let j = -6 - -11. Suppose 4*r = -m + 60, -j*r - 2*m + 0*m + 75 = 0. Are 16 and r equal?
False
Let s(o) = -56*o**2 - 27*o + 60. Let z be s(2). Is z less than or equal to -215?
True
Suppose 2*i = i + 3. Suppose 3*v = -2*p - i, -4*p = -5*v - 6*p - 1. Suppose v = -2*j - 3. Which is greater: -3/2 or j?
-3/2
Let f = -3.92 + 3.3. Is f greater than or equal to -1?
True
Suppose 2*u = -3*x + 41, u - 5*x - 33 = -u. Suppose -3*v - 8 = 4. Let s = u + v. Is s bigger than 15?
False
Let m = 42 + -5. Let w = 49 - m. Is w greater than 12?
False
Suppose -5*n + 6 = d - 2*d, -n + 4 = -3*d. Which is bigger: n or 15/11?
15/11
Let w be -4*4*(-71)/(-8). Is -143 smaller than w?
True
Let y(i) = i**2 - 19*i + 18. Suppose 9 - 63 = -3*m. Let d be y(m). Which is greater: 2/13 or d?
2/13
Let w = 21 - 15. Let o = 21 + w. Does 26 = o?
False
Let g be 24/(-15)*(-1)/4. Let z = -5 - -5. Suppose 4*o + 16 = -4*a - z*o, -5*a - 11 = 2*o. Which is smaller: a or g?
a
Suppose 4*n = 3*a - 16, -5*n - 392 = -372. Is 2/5217 at most as big as a?
False
Suppose -h - 4*h - 59 = 2*d, -9*d + 3*h - 291 = 0. Which is bigger: d or -37?
d
Let q = 55.2 + -55.4. Which is smaller: q or -435?
-435
Let d = -12/65 + 409/455. Let s(p) = p**3 + 7*p - 6. Let z be s(1). Is d equal to z?
False
Suppose -4*t + 384 = -364. Let z = 393/2 - t. Is z greater than or equal to 11?
False
Let i = 5 + -2. Let b(d) = d**2 - 9*d + 19. Let w be b(i). Which is greater: 1/48 or w?
w
Let h(v) = v**2 + 5*v - 2. Let k be h(-6). Suppose -k*g + 5*z = -31, 4*g - z - 39 = -4*z. Let l be (g/12)/((-3)/12). Do l and -2 have different values?
True
Let s be ((-4)/19)/2*-2032. Let i = s - 214. Let y = i + 23/38. Which is smaller: 1/3 or y?
1/3
Let s be 50/15*(-1773)/42. Let k = 141 + s. Is 1/12 greater than k?
False
Let l be (-2)/(-4) - (-78)/(-52). Suppose -186 = -z + 17. Let w = -4666/23 + z. Which is greater: l or w?
w
Let j(z) = z**3 - 28*z**2 + 75*z + 5. Let o be j(25). Is -0.03 > o?
False
Suppose -2*f + 146 = -3*f + g, -4*g + 140 = -f. Is f smaller than -737/5?
True
Let s(v) = v**3 - 3*v**2 + 5*v - 5. Let t be s(2). Is 40/19 at most t?
False
Suppose b = -3*v - 3, 0 = 4*v + v - b + 5. Is v less than or equal to 159?
True
Let o be ((-13)/3 + (-6)/(-2))*3. Which is smaller: -9 or o?
-9
Let n = 21 - 13. Let x = 13 + -1. Suppose -x*z + 14*z - 34 = 4*p, -5*p + 3 = 4*z. Is n at most z?
False
Let q = 45 - 25. Let s = q + -15. Is s < -0.2?
False
Let v be (8/942)/((-39)/117). Do 1 and v have different values?
True
Let f(w) = -135*w - 988. Let l be f(-7). Is l < -37?
True
Suppose 27 = 4*y + 11. Let w be 18/y*4/3. Let d = -3718 + 3723. Which is smaller: w or d?
d
Suppose 2*s - 4*d = -3*s + 18, -5*s + 4 = 3*d. Suppose 3*i - 3*c = 21, -3*i = -2*c - 9 - 7. Suppose 5*r - 6 = -2*v, -4*r - 2 + 6 = i*v. Is s equal to r?
True
Suppose 95 + 68 = o - 2*m, 0 = 5*o - 4*m - 803. Which is smaller: 157 or o?
157
Let a be 13/(325/(-15)) + 178/330. Which is smaller: a or -0.1?
-0.1
Let h(g) = -g**3 - g**2 - g - 3. Let z be h(0). Let f be (-4)/z*(-3)/(-2). Suppose -3*q - 7 = m, -m + 3*q - 3 = -f. Which is smaller: -2 or m?
m
Let a be (-6)/30 + (-12)/65*-4064. Let i = a + -749. Are i and 0 equal?
False
Let l be ((-2)/12)/(3046/(-762) - -4). Which is smaller: -63 or l?
l
Suppose -5*y = 5 - 0. Suppose 7*i = 3*i + 12. Suppose -7 = c + 2*h, i*h + 4 = -h. Which is bigger: c or y?
y
Let w = -21876 - -21876. Let c = 13.64 - 13. Is w at least c?
False
Suppose -126*n = 37*n. Let q = -284 - -9939/35. Which is smaller: n or q?
q
Suppose -2*s + 4*s + 12 = -2*z, 5*z = -2*s - 18. Let w be (-4)/12*-3 + s. Let t be (-3 + w)*2/10. Is 0 >= t?
True
Let w be (-30)/56 + 8/28. Let z = -7.9 - -0.9. Let m = -5 - z. Is m > w?
True
Suppose -429 = -2*p - 1123. Are -347 and p nonequal?
False
Let a be (36/(-81))/4*(-5 - 1). Let c = -0.02 + -2.98. Let q = c + 3.1. Is q < a?
True
Suppose 0 = 4*d + 295 + 381. Which is bigger: d or -170?
d
Suppose -4*r + 164 = c, 5*c - 745 = -0*c - 5*r. Let h = -20 + c. Let u be (-1)/((-42)/h) + -3. Which is bigger: 0 or u?
0
Suppose i + 5*f - 9 = f, 0 = 3*i - 3*f + 18. Let o = i + 4. Let a be 90/(-30) - (0 + 77/(-25)). Which is bigger: a or o?
o
Suppose 0 = j + 4*v + 19 - 2, 0 = 4*j - 2*v - 4. Is j less than -1/49?
True
Let i = -226 - -200. Does -28 = i?
False
Let f(v) = v - 2. Let z be f(5). Suppose -5*h = -3*q - 504, z*q = -3*h + 162 + 126. Let j be (-8)/(-44) - (-70)/h. Which is greater: j or 0?
j
Let j = 17 - 17. Let t = -113 - -188. Is t less than or equal to j?
False
Let t(l) = -l**3 + 22*l**2 + 29*l. Let q be t(23). Suppose -4*u = v - 177, -4*u + v + q = -29. Which is smaller: u or 42?
42
Suppose 0 = -21*k + 16*k + 15. Suppose 4*u - 17 = -k*h, 0 = 4*h - 12. Is 3 at most as big as u?
False
Suppose -24*b - 240 = -22*b. Which is smaller: -118 or b?
b
Let w = -323 + 324. Is 1/5 greater than or equal to w?
False
Let g = -312 + 4682/15. Do -1 and g have the same value?
False
Let t(x) = x**3 + 6*x**2 + 4*x - 39. Let q be t(-4). Let v(f) = -11*f. Let c be v(2). Which is bigger: q or c?
c
Let f = -35277 + 527399/15. Let g = -286 + 169. Let r = f - g. Which is bigger: r or -1?
r
Let y = -11934823/747 - -15977. Which is smaller: -1 or y?
-1
Suppose 10 = 3*a + 1. Let t = 8 - a. Which is smaller: 17/3 or t?
t
Let n be (-4)/6 - 14/6. Let z be 4/(-3)*(12 + n). Let f = z + 4. Is -8 greater than f?
False
Let t = -578609/326370 - -2/14835. Are -1 and t equal?
False
Let i be (13/(-39))/(21/(-18)). Let m be (-6)/9*(1 + 0). Which is smaller: i or m?
m
Suppose 0 = -4*p - 3*o - 21, 23 = -7*p + 4*p + 5*o. Let w be p/(-21)*(-12 - -4). Is w <= -2?
True
Let y be (-22)/(-11) - -4*1. Let a = -29 - -27. Let b be 154/42 + a + 3. Which is smaller: b or y?
b
Let s = 4221.565 + -4231. Let i = s - -9.5. Is 1 greater than i?
True
Let u be ((-1 + 0)/(24/72))/(-1). Is u bigger than 9?
False
Let i = -5 + -6. Let y be (0/(-1 - -2))/(-21 + 20). Let o be 2*(6/7 - (1 + y)). Which is smaller: o or i?
i
Let o = 40 + -39.93. Let s = o + 0.34. Which is greater: -0.1 or s?
s
Let b = 0.35 - 0.3. Let y = 9.95 + -10. Let g = y + b. Does 2 = g?
False
Let y = 33 + -13. Let l = y - 17. Suppose 2*v + l*s = v + 3, 2*v - 5 = -5*s. Are 1 and v non-equal?
True
Suppose -z - 118 = 2*f, 138 = 16*f - 18*f + 4*z. Is f less than -14?
True
Let v = -191 - -406. Which is greater: -2/5 or v?
v
Let q be (1 - 2)/((-1)/4). Suppose -q*n = -3*n. Suppose -m - 17 = 13*d - 8*d, -2*m - 3*d - 13 = 0. Does m = n?
False
Let t = -23/11 - -81/44. Let l = 0.3 - 0.1. Let s = l - 0.3. Which is smaller: s or t?
t
Let h = 29/78 - 781/26. Are -30 and h nonequal?
True
Let w = -411 + 315. Which is greater: -94 or w?
-94
Let c be 2/1*2255/22. Which is greater: c or 208?
208
L