 581. Is j less than -6?
False
Let i = -0.8 + 3. Let r = 2.2 - i. Is -5/8 at least as big as r?
False
Let m be (248/(-20))/((-16)/(-40)). Is -36 at most as big as m?
True
Let p = 1877 + -3261. Is 0.1 smaller than p?
False
Let w = -1067517/8 - -133613. Let c(u) = u**3 - 2*u**2 + 4*u + 5. Let s be c(6). Let f = w - s. Which is smaller: -2/3 or f?
-2/3
Suppose -4*w = -2*a + 44 + 16, -4*a - 4*w = -60. Let v = -23 + a. Let j be v + 7 + -4 - -2. Which is bigger: 0 or j?
j
Let w = -56 + 166/3. Let c = 0.1 - 3.1. Let a = c + -1. Is a less than or equal to w?
True
Let s = 24 - 13.1. Let g = 11 - s. Which is bigger: g or -3?
g
Suppose m - 2*m = -2. Let r(x) = x**2 - x - 29. Let t be r(6). Let z be (12/(-18))/(2/12 - t). Which is smaller: z or m?
z
Let w = -379 - -1881/5. Which is greater: 2 or w?
2
Let h = 2349/17 - 138. Which is smaller: h or -0.2?
-0.2
Let p = 4 + -6. Let u be 4/p + 1 - -6. Suppose b + 21 = 5*d, 5*d - 5*b - 10 - 15 = 0. Is u equal to d?
False
Let s = -417 - -150. Do s and -268 have the same value?
False
Let f be (-1 + -1 - -40)/2. Which is smaller: f or 25?
f
Let p be 0/(12/(-4) - -1). Suppose 6 = -p*m - 3*m. Let b be (48/(-9))/2 - -2. Is m != b?
True
Let w = -35 - -104/3. Let i = 100 - 95.7. Let q = i - 11.3. Which is greater: w or q?
w
Let c(j) = -43*j + 239. Let o be c(5). Is o not equal to 97/4?
True
Let z be (-4257)/(-86)*(-52)/(-6). Are 430 and z non-equal?
True
Let z(c) = 3*c**3 + c**2 + 2*c + 1. Let d = 10 - 11. Let r be z(d). Let x be (r/18)/(4/6). Is 0 at least x?
True
Let o = 218 - 146. Let i be o/20 + (-6)/(-15). Suppose 5*n + 11 = 31. Does i = n?
True
Suppose 23*w = 14*w + 108. Let g(t) = -t**2 + 13*t - 31. Let a be g(w). Which is smaller: -18 or a?
a
Suppose -5*p - 9 = -8*p. Let d be 1 + 7 - 12/p. Which is smaller: d or 2?
2
Let p = 186 + -173.93. Is p less than 1?
False
Let y = 1.2 - -12.8. Let n = -20 + y. Let z = -2/53 - 49/106. Which is smaller: z or n?
n
Suppose 3*n + 3*p = 8*p - 50, -2*p - 58 = 4*n. Let m be ((-2)/(-9))/((-10)/n - 0). Is -1/3 not equal to m?
True
Let p = -83 + 132. Is 49 < p?
False
Let r = 560.97 - 553. Let x = r + -8. Let c = 2.03 + x. Is c smaller than 2?
False
Let r = -19 - -23. Suppose 8 - 24 = r*b. Let w be -2 - (b/(-1))/(-4). Which is bigger: w or -2/67?
-2/67
Suppose 276 = 4*k - 748. Which is smaller: 257 or k?
k
Let w = -5326 - -85261/16. Is w smaller than 4?
True
Suppose 2*x - 2 = 4*x. Let c be -1 + (0 - (0 - x)). Is 0 != c?
True
Let w = 58 + -59. Suppose -1 = -4*v + 3*v. Let y be (3 - (-38)/(-9)) + v. Which is bigger: y or w?
y
Let b be ((-234)/30 - -8)*-1. Which is smaller: 0.211 or b?
b
Suppose 2*r = 2*i + 4*r - 16, 5*r = 3*i. Suppose 20 = i*a + 65. Which is bigger: a or 0?
0
Let u(l) = 2*l - 9. Let t be u(0). Let v = t + 17. Suppose 16*z = 20*z + v. Which is greater: -5/3 or z?
-5/3
Suppose -101*l - 1248 = -440. Suppose 4*r - 39 + 3 = 0. Suppose 0*y + y = -r. Is l greater than or equal to y?
True
Let g(q) = -q**3 - 9*q**2 + 9*q - 10. Let c be g(-10). Are c and -6/391 nonequal?
True
Suppose 234 = 5*h + 2*t, 2*h + 2*t = 5*h - 134. Let j = h - 18. Let m = j - 17. Is m at most 11?
True
Let b be 4/((-60)/129) - -4. Is b less than or equal to -5?
False
Suppose -453 = 2*z - 175. Let b = -140 - z. Is b < -3/8?
True
Let y = -137 - -80. Suppose -2*t + 5 = -3*t, 0 = -2*j + 2*t - 106. Is j at most as big as y?
True
Let h = -4 + 7. Let z = 83 + 120. Let x = z + -200. Is x >= h?
True
Let c(z) = 83*z + 18. Let f be c(4). Let d be 6/4 - 535/f. Does d = -1?
False
Let p = -52/371 - -15/53. Is 84 at least p?
True
Let b = -14.61 - -15. Let g = -95 - -95.01. Let z = g + b. Which is greater: z or -2/5?
z
Let t = -10 - -10. Suppose 3*l + 3 = -t*l. Which is greater: -4 or l?
l
Let h be ((6 + -3)*1)/(-5). Let d = 2 - 2.3. Let q = 0.3 + d. Which is bigger: h or q?
q
Let s(x) = -3*x**3 + 75*x**2 - x + 28. Let o be s(25). Is 34.5 less than o?
False
Let y = -0.312 + 0.512. Let a = -2 - 3. Let w = 5.3 + a. Is y > w?
False
Let y be (-4)/6 + (6 - (-388)/(-120)). Which is greater: 3 or y?
3
Let x = 144.18 - 145. Which is smaller: 1 or x?
x
Let g = -28 - -70. Suppose -14*m + g = -11*m. Suppose 0*n - m = -2*n. Which is smaller: n or 4?
4
Suppose 5*k + 2*a = 7, -k + 2*a + 7 = a. Suppose x = k*h - 4*h - 373, -5*h - 1490 = 4*x. Let w be (4/10)/((-15)/x). Is 8 at least w?
False
Let j = -2/13 - 83/52. Is j greater than -3?
True
Let q be (31 - -2) + -2 + -1. Let g = -276 - -305. Which is smaller: g or q?
g
Let d be ((17689/14)/7)/(1 - -1). Let y = -8247/92 + d. Are y and 2 equal?
False
Let v = 1/1145 - 1149/4580. Is -173 at least v?
False
Let d(y) = y**2 - 13*y + 12. Let j be d(9). Let q = j - -20. Which is greater: q or 2?
2
Suppose a - 329 = -508. Is -179 bigger than a?
False
Suppose 3*m + 5*h - 35 = 0, m + 0 = 4*h + 40. Let f = 7 - m. Is f at most as big as -12?
True
Suppose 0 = 4*m - 8, -2*g + 10 = -0*m + 3*m. Suppose 0 = i + 1, g*w - 7*w + 5*i = -355. Which is bigger: 71 or w?
71
Let x = -0.3 + 1.1. Let z = x + -0.5. Let h = -53/3 + 18. Which is smaller: z or h?
z
Let g be (-4 - -1) + ((-2303)/(-469) - 2). Let s = 324/871 - g. Is s greater than or equal to 2/3?
False
Let d = 2 - 3. Let q = 2 + d. Let i be 8/2 + 374/(-99). Which is bigger: i or q?
q
Let b = 13/15 - 1/5. Which is smaller: 3/22 or b?
3/22
Let w(o) = -3*o**3 - 25*o**2 + 10*o + 52. Let n be w(-8). Is n greater than or equal to -92?
True
Let z = 775 + -778. Are z and -83 nonequal?
True
Suppose -h + 253 = 4*a, 5*h = 2*a + 3*h - 124. Which is bigger: a or 64?
64
Let a be (-14)/(-56) - (-6)/8*105. Let w = a - 84. Is -7 not equal to w?
True
Let y be 6/10 + (-44)/140. Which is smaller: y or -91?
-91
Let b = -38.2 - -38.381. Let z = -0.021 + b. Which is smaller: -1/3 or z?
-1/3
Suppose 5*a + 39 = 4. Let o(g) = -g - 13. Let n be o(0). Let y = n - a. Which is bigger: y or -8?
y
Let o be (-3 - -2) + ((-145028)/135115)/(-1). Let w = o + -21/305. Which is smaller: 1 or w?
w
Let c(w) = 18*w + 105. Let d be c(-12). Which is greater: -114 or d?
d
Let a = -3 + -5. Let v(r) = -r**3 - 8*r**2 - r. Let t be v(a). Suppose t*g + 3 = 5*g. Is g at most as big as 1?
True
Let k be (2 + -2)*(-13)/(-39). Suppose i + 2*b + 2*b = -2, -5*b = 3*i + 13. Let y be (-1 + k)/((-2)/i). Is y <= -26/9?
True
Let p = -279 + 280. Let x = -17 - -27. Which is bigger: p or x?
x
Let l = -22.972 - 0.028. Is l greater than or equal to -2/5?
False
Let f(y) = y - 5. Let x be f(8). Suppose -x*s + 2*s = -28. Let v be -2 - s/(-8) - 0. Are v and 1 nonequal?
True
Suppose 5*n + 178 = -92. Let c be n/(-15) - 2/(-5). Let b be (c/(-6))/((-14)/63). Which is smaller: b or 9/4?
9/4
Let d = 16.9462 + 0.0538. Which is smaller: -3/5 or d?
-3/5
Suppose 43*g - 87 = 14*g. Suppose c + 4 = 4*h, -g*c - 1 = -3*h + 11. Suppose m + 3*l = -2, 5*l - 2*l - 4 = 2*m. Which is bigger: m or c?
m
Let m be 2 - (-5)/(15/(-6)). Suppose m = 2*q - q. Suppose 4*v - 7*v + 15 = q. Is v bigger than 4?
True
Suppose -5*x = -3*m - 0 - 25, -25 = -3*m - 5*x. Let l be 469/35 - ((-7)/(-5) - 1). Suppose -a - l = -4*j, -5*a + 6*j = j + 20. Which is smaller: a or m?
a
Let n = -11.75 - -12. Let p = 13.25 - n. Let r = p - 13.1. Is -4/5 > r?
False
Suppose l + 2 - 4 = 0. Let m be -4*l/(-8) + 0/2. Is m at most 11?
True
Suppose -1 = -x + 4. Let l(q) = -11*q - 163. Let o be l(-15). Suppose -5*f = -5, f + x = 3*i - o*i. Which is bigger: 4 or i?
i
Let m = 3.29 + -3.29. Is 142 less than or equal to m?
False
Suppose 33 = -f - 126. Which is bigger: f or -163?
f
Let c = -1512593 + 2046538445/1353. Let p = 6/41 - c. Does -1 = p?
False
Let a be 6 + 92/(-12) + (-1 - -2). Let l = 209/136 + -24/17. Which is smaller: l or a?
a
Let p(w) = 2*w - 2. Let c be p(3). Let b = -4 + c. Let u(a) = a**3 + a - 5. Let s be u(b). Does s = -5?
True
Let w be 18/36 + (-989)/(-2). Do 494 and w have the same value?
False
Let t = -109 - -106. Is t >= 63?
False
Let a be (16/(-40) - (-2 + 1))*-35. Is -98/5 smaller than a?
False
Let z be -33*(-1)/39 + 2/13. Suppose -3*d + 5*w + z = -7, -2*d = 2*w. Is 1 equal to d?
True
Let z = 644 - 650. Is z < 11?
True
Let b = 959 + -955. Do b and -8 have the same value?
False
Let s = -20 - -20. Let j be 3*-1 - (-262)/88*1. Which is greater: s or j?
s
Suppose -p - 2*p + 21 = 0. Suppose -q = 2*b + p, 0 = 5*q - b - 8 - 1. Let w be q + (0 - (1 - 1)). Which is smal