. Are i and -4 equal?
False
Let d(g) = -g**3 + 2*g**2 + 3*g - 3. Let m be d(2). Suppose 3*t - 30 = -5*z + 8*t, -m*z = 5*t - 10. Is -11 smaller than z?
True
Let y = -39990 + 160735/4. Let p = 1145/4 - y. Which is bigger: p or 92?
p
Let f = 869/2 + -435. Which is greater: 5288 or f?
5288
Let t = 713 + -1349. Let j = 635.6 + t. Which is smaller: j or -68?
-68
Let a be 33/(-2) + 120/(-80). Let t(o) = -o**2 - 20*o - 42. Let x be t(a). Is x at least -4?
False
Let g = -1.66 + 2.74. Let c = g + -1.28. Is 14 less than c?
False
Suppose 27 = 2*s + s. Suppose -2*f + 81 - s = 0. Let o = -31 + f. Is o greater than 2?
True
Let w = -76112 - -71925817/945. Is -1 less than w?
True
Let c = 54 - 56. Let y = -28.23 - -0.23. Let d = y - -29.8. Which is bigger: d or c?
d
Let t = 22901/275 + -953/11. Is t > -4?
True
Suppose 40 = -3*y - y. Let a = -3 - y. Suppose 3*j + 3*q - 26 = q, -5*q - 20 = -j. Which is smaller: j or a?
a
Let s = 3557/4272 + 1/1424. Let n = 5.241 + 0.059. Let l = n - 5. Which is greater: l or s?
s
Let d(y) be the second derivative of -y**5/20 + y**4/6 + 3*y**3/2 - 47*y. Let f be d(4). Suppose 6 = f*u - 6. Which is greater: -5/11 or u?
u
Let s = -0.1 + -1.9. Let q = -1.5 - s. Let c = -1.865 - -3.865. Is c less than q?
False
Let a = 101769154/3051 + -33356. Which is smaller: a or 0?
a
Let g = 2865315/11914 - -1/5957. Let u(j) = 238*j + 27611. Let x be u(-115). Is g greater than or equal to x?
False
Let j be ((-8636)/136)/((-1)/174). Is j less than or equal to 11048?
False
Let y = -208.986 + 210. Let b = 1.1 - y. Let o = b - 34.086. Which is smaller: 1 or o?
o
Let t = -20 + 1. Let a = t + 32. Suppose -h = a + 1. Which is greater: h or -13?
-13
Let w = 5.4881 + -0.0681. Let l = 36.58 - 37. Let g = w + l. Which is bigger: 1 or g?
g
Let g be (-2)/(-4)*(-188)/(-6). Suppose -296 = 114*s + 117*s - 3992. Which is smaller: s or g?
g
Let c(n) = -130*n - 20. Let u be c(-3). Is 370 at least as big as u?
True
Suppose 0 = -5*f - 26 - 4. Let b be 486/6 + 0 + f. Is b equal to 74?
False
Let r be (-12)/56 - (-6)/(-21). Let l = -55 + 59. Suppose l*c = -f - 17, -5*f + 18 = 43. Which is bigger: r or c?
r
Let s = 40 - 23. Let b = 0.147 - -66.853. Let u = 69 - b. Does s = u?
False
Let c be (-22*(1 - 2)/(-2))/(3/(-291)). Are 1072 and c nonequal?
True
Let m = -91 - -219. Let b = 568 - 439. Let n = b - m. Is 33 greater than or equal to n?
True
Let s = -1.17 - 58.83. Let n = s + 107. Let k = n - 48. Do k and 2/3 have different values?
True
Let l = 207.4 - 206. Let t = -4.4 + l. Which is smaller: -0.1 or t?
t
Suppose -3*r - 4*j + 19685 = 0, -3*j = -8*r + 7*r + 6553. Is r less than or equal to 6560?
True
Let f = -102 - -151. Let r = 48 - f. Let p be 4/(-10)*20/(-128). Which is greater: r or p?
p
Let b be (-26)/(-30) - 8/(-60). Let v = -7116 - -206365/29. Is v at most b?
True
Let s = -160 + -85. Let x = s + 245.9. Let y = 0.03 + -0.33. Is x greater than y?
True
Let a = -2148 - -3855. Which is smaller: a or 1708?
a
Let y = -2.36 + -5.94. Let o = -1.34 + 3.34. Which is bigger: o or y?
o
Suppose 0 = 2*q - 3*f + 6, 10*q - 3*f = 7*q - 6. Is q <= 5/124?
True
Let j be 37/((-1)/(-4) - 18/64). Which is bigger: j or -1182?
-1182
Let c(o) = o - 6. Let a(j) = -j**2 + 6*j - 2. Let m be a(4). Let z be c(m). Is z greater than 0?
False
Let u = -100 + 55. Let l be 1*(u/4 - 4/(-16)). Suppose 45 = v - 6*v. Is v less than l?
False
Suppose -3*r - 393 = 42. Let m = -144 - r. Which is bigger: 5/4 or m?
5/4
Let t = -0.06 - -39.06. Let q = 229 + -189. Let z = t - q. Is 67 greater than or equal to z?
True
Suppose -68*o + 2440 = -25576. Are o and 412 equal?
True
Let g = -3313 - -3289. Do g and -111 have different values?
True
Suppose -3*j + 8 - 2 = 0. Suppose 265*t - 263*t - 22 = 0. Suppose -3 = -5*d + r, 1 = -t*d + 16*d - 2*r. Which is greater: j or d?
j
Suppose -u = 2*u + a + 111, 4*u + 2*a + 150 = 0. Suppose -f = 2*n + 77, -12*f = 5*n - 9*f + 193. Let g = u - n. Are g and 2 equal?
True
Suppose -20 = -5*m, -3*k - m + 56 = m. Let u = 91 - -413. Let j be 6/(-21)*u/(-9). Is k less than j?
False
Let p be 12/18 + (-366)/9. Let w = p + 41. Let x = w + -7. Is -38/7 greater than x?
True
Suppose 88*i - 240*i = -77*i - 82*i. Which is smaller: -3093 or i?
-3093
Let b be 34/391 - 89836/(-23). Suppose -b = -234*a + 216*a. Does a = 215?
False
Suppose -5*k - 40 = -10. Let o be ((-126)/15)/k*6/(-7). Which is bigger: -2 or o?
o
Let i = -50 - -50. Let o = i + 0.112. Let r = 0.072 - o. Which is greater: r or 2?
2
Suppose 0 = -3*a - 2*g + 10, 4*g + 0 = -4. Suppose a*i = -0*i + 2*s + 2, i - 4*s = -3. Which is bigger: i or -14/87?
i
Let o(d) = -d**3 - 6*d**2 - 3*d + 10. Let w be o(-5). Suppose -4*x - 5*a = 1, -2*x - 2*x + 2*a + 34 = w. Suppose 7 - 1 = x*h. Is 1/20 at least as big as h?
False
Let l be (-238502)/32 - 531/(-2832). Which is smaller: l or 1?
l
Let t(o) = 4*o + 20. Suppose -102*v + 50 = -97*v. Suppose 5*w = -z - 4*z - v, 0 = z - 3. Let f be t(w). Is -2/47 >= f?
False
Let h = -104 + 134. Suppose -3*y = 11*n - 10*n - 17, 2*n = -4*y + h. Suppose -5*j - n = 4. Which is smaller: j or -24/13?
j
Let x = -2704 - -137926/51. Which is smaller: x or -3?
-3
Let g = -4853/6 + 6619489/8184. Which is greater: g or 0?
0
Let g(v) be the first derivative of v**4/24 - 4*v**3/3 - 8*v**2 + 14. Let y(w) be the second derivative of g(w). Let a be y(9). Which is bigger: 3/8 or a?
a
Let z be (35 + -100)/((-6)/42). Which is bigger: z or 457?
457
Let d be (-530)/4*(0 + 1)/(10/40). Let i = -702 + 172. Is i equal to d?
True
Let f be -3 - -2 - (-342)/340. Let d = 0.249 - 0.349. Which is smaller: d or f?
d
Let r be -371 + (-8)/4 + 10 + -3. Let a = r + 349. Is a less than or equal to -24?
False
Let h be ((-912)/9 - 4)/((-3)/(18/28)). Is 2 less than h?
True
Let p = 9235 - 1182093/128. Does p = 1?
False
Let a = 110 + 212. Let b be a + 3*(-2)/6. Let g be -5 + 0 - b/(-65). Is 1 greater than or equal to g?
True
Let u = 2.07 + -0.07. Let o = 1.542 - 1.432. Is o <= u?
True
Let o = -37620551/522750 - 4/87125. Let h = o + 72. Let w = -2.371 - -2.371. Is w less than or equal to h?
True
Let v(q) = 5*q - 79. Let w be v(16). Is w greater than -6/563?
True
Suppose -39*o + 37*o - 39864 = -35*o. Are o and -0.1 nonequal?
True
Let o = -20683 - -20683. Is o greater than 1/8789?
False
Let x be -1*(-35)/70*(0 + 0). Suppose x = -8*w - 97 - 215. Is w >= -38?
False
Suppose -309 + 24 = 15*p. Let c(r) = r**2 + 11*r - 141. Let g be c(p). Are 88/9 and g nonequal?
True
Suppose 194 + 43 = 102*b + 33. Are b and 25/9 non-equal?
True
Suppose -2*p + 5*p + 549 = 0. Let a be (2/3)/((-2)/p). Suppose -133 - 108 = -4*t - 3*r, 0 = t + 4*r - 57. Is t <= a?
True
Let k be ((-64)/(-20))/(-4)*20/(-4). Suppose -2*x = -0 + k. Is -2 != x?
False
Suppose 0 = 4*v + 78*j - 75*j - 4, 5 = 5*v - 3*j. Which is greater: 1/30996 or v?
v
Let n = -4479/4 + 4629/4. Which is greater: n or 38?
38
Let y = -12 - -12.2. Let l = -4218 + 4242.07. Let n = -24 + l. Which is greater: n or y?
y
Suppose -524 = 1305*b - 1309*b - 4*y, b + 2*y = 128. Which is bigger: b or 123?
b
Let i = -84 + 88. Suppose -i*o = 3*c - 10, o + 45 = 3*c + c. Let x be c/(-30) + (-22)/(-3) + 0. Do x and 11/2 have different values?
True
Suppose q = -2*d + 3*d - 182, 0 = d + 5*q - 176. Suppose -9*p = -d - 278. Is 52 at most as big as p?
False
Let a = 204 - 183. Let j(d) = d**3 - 20*d**2 - 24*d - 43. Let z be j(a). Is -107 at most as big as z?
True
Suppose 0 = 3*p - 3*o + 18, -2*p + 3*o - 8*o + 37 = 0. Is 5/3411 less than or equal to p?
True
Let r = -40 + 42. Let f be (r - -4) + ((-2)/2 - -4). Suppose 0 = m, 6 = -5*b - 4*m - f. Is -3/2 != b?
True
Let d be ((-57)/(-77))/1 - (-312)/(-416). Which is greater: d or 0?
0
Let p be (44/7260*55)/(0 - 2/13218). Is p at most -2202?
True
Suppose -4*x + 65 - 49 = 0. Suppose -a - 2*n + 8 = 0, 4*a + x*n = 7*n - 12. Which is smaller: 1/356 or a?
a
Let h = -1 - 0. Suppose 0 = -4*q - 4*t - 191 - 373, 2*t + 568 = -4*q. Which is greater: q or h?
h
Let o be 1/4*(-11)/11 + 14/56. Let z be 543/(-537) - (-2)/2. Which is greater: z or o?
o
Let u(s) = -s**2 + 36*s + 13. Let b be u(-35). Let r be ((-2)/3)/(16/b). Which is bigger: 101 or r?
r
Suppose -m = -0*m - 4, -5*x - 91 = -4*m. Let i = 11 + 4. Let g = i + x. Is g equal to 1/20?
False
Let k = -7403 + 10925. Is k equal to 3522?
True
Let u = 96 + -161. Let a be 772