 0 = -2*r - 3*z + 46. Suppose -5*q - r = -144. Suppose -77 + 29 = -2*b. Is q smaller than b?
True
Suppose 5*a - 9*u = -6*u - 9, 9 = a + 3*u. Is a smaller than 1/17?
True
Let j = -1041.9 + 1042. Let d = 29/10 + -16/5. Which is greater: d or j?
j
Let r = 696/7 - 7393/35. Let f(c) = -10*c - 30. Let z be f(-14). Let n = r + z. Which is smaller: n or -2?
-2
Let c = -490 - -238. Let n = 231.2 + c. Let z = 21 + n. Which is smaller: z or 6?
z
Let s = -4567 - -32071/7. Let p = -3/552280 + -611926009/42525560. Let q = p + s. Which is smaller: q or -4/7?
-4/7
Let w(o) = -88*o + 263. Let y be w(3). Which is greater: y or -10/11?
-10/11
Let t = 0.22 + -0.2. Let o = 0.62 - t. Let k = o - 0.3. Which is bigger: k or -1/3?
k
Let g be (-4 - (5535/(-1384) + -3)) + -3. Let s = g - -24931/26296. Is s not equal to 1?
True
Let u be (1/2)/(29/(-2)). Suppose f = -4*m + 23, 16*f + 18*m + 34 = 21*m. Is f greater than or equal to u?
False
Let o be 28/(-12) - 1/(-3). Let j be o/(-3)*(-9)/21. Let u = 1 + -1.3. Which is greater: j or u?
j
Let b(u) = u - 62. Let r be b(13). Which is bigger: -48 or r?
-48
Let l(o) = 4*o + 35. Let u be l(-8). Let y be 0*(u + -3*2/3). Let s be (-5)/(-5) + 18/(-10). Is y less than s?
False
Let v be -12*(-1 + 2/1). Let c be (6/v)/(1/(-22)). Let b(u) = -u**2 + 8*u. Let i be b(6). Which is greater: i or c?
i
Suppose -9 + 401 = 4*z. Let c be 20/105*z/12. Let j be (-169)/(-65) - 4/(-10). Which is smaller: c or j?
c
Suppose -4*u + 3*s = 1, 5*u + 2*s + 5 = -2. Let o be 4 + u - 1 - 4. Are o and -16/9 equal?
False
Let r be (50/(-20))/(1/2 + -1). Suppose r*c + 49 = -16. Let k = 1 - 3/2. Which is bigger: k or c?
k
Let l = 27.052 - 0.052. Let p = l - 30. Let u = -0.5 - -0.5. Which is greater: u or p?
u
Let p be (5/(-134))/((-297)/44 - -6). Which is smaller: 0 or p?
0
Let d = 2/423 + 2915/9729. Which is bigger: d or 0.1?
d
Suppose 0*c + 12 = 4*c - 2*i, -3*i = 5*c + 7. Let w = 615893/33060 + -2866/145. Let k = w + 20/19. Are k and c unequal?
True
Let d(n) = n**2 - 15*n + 7. Let k be d(14). Let r = k - 1. Are -8 and r nonequal?
False
Let g be (-4)/8*13/26. Are g and -62 non-equal?
True
Let c(r) = -r + 23. Let q be c(4). Which is smaller: 17 or q?
17
Suppose -2*l + 4*p = -4*l + 24, 0 = -l + 5*p + 47. Let f = -21 + l. Let o = 2 - f. Are 0 and o nonequal?
True
Let y = 228 + -228.097. Let f = -4.603 + y. Let n = f - 0.3. Is -1/2 >= n?
True
Let b be (-2*9/432)/((-2)/6). Let c(j) = j**2 + 4*j - 3. Let w be c(-5). Suppose w*g = -3*g. Which is greater: g or b?
b
Suppose k - 4*k = -90. Let c be ((-10)/k)/(2/6). Let f be c/(-3)*(1 - 0). Which is smaller: f or -1?
-1
Let z = -14 - -13.97. Let i = 0.17 - z. Let p = i - 0.1. Are -1/2 and p nonequal?
True
Let k = -3259 + 834307/256. Is k smaller than 1?
True
Suppose -5*o + 1796 = -o. Which is bigger: o or 450?
450
Let w(q) = 2*q - 1. Let i be w(2). Let f(b) = -72*b + 1366. Let x be f(19). Is i != x?
True
Let t be (-5)/10 - (-34)/4. Suppose -n = -3*n + t. Which is smaller: n or 5?
n
Suppose 474 + 121 = -7*a. Let v be 2 + a/15 + 3. Are v and 18 equal?
False
Suppose 4*q - n = 165, 4*q - 96 = 2*n + 74. Let c be q/336 + (-2)/7. Let v(b) = b - 5. Let j be v(6). Which is greater: j or c?
j
Let s(q) = q**3 + 6*q**2 + 9*q + 4. Let l be s(-4). Let z(j) = 4*j + 18. Let f be z(l). Let h be (-2)/3*(-27)/f. Which is bigger: 0 or h?
h
Let r(v) = -v**3 + 6*v**2. Let c be r(6). Which is smaller: -2/429 or c?
-2/429
Let v be 6/2*204/(-18). Let b = 23 + v. Which is bigger: b or -12?
b
Let x = -1795/6 + 711/2. Do x and 55 have the same value?
False
Suppose -22 = -2*j + 5*w - 2*w, j - 18 = 5*w. Let o = -7 + j. Let x = 27 + -28. Do x and o have different values?
True
Let n(c) = 2*c - 9. Let g be n(4). Which is smaller: g or -4/65?
g
Suppose -8*v + 9*v = 5*v. Let a = -283 + 1976/7. Which is smaller: v or a?
a
Let i be 3 - 4/(-18)*21/(-2). Let n = -1 - -11. Let m(w) = -w**2 + 10*w + 2. Let k be m(n). Is k not equal to i?
True
Let i = -1117 - -1117.04. Is 0.27 != i?
True
Let n be 3/(-4) - (9 - 11310/200). Is n greater than or equal to 48?
False
Suppose -22 = -6*u - 3*i - 271, 5*u + 5*i = -210. Which is greater: u or -33?
-33
Suppose q = -z - 7 - 0, 0 = -5*q + 4*z - 26. Let b = 1512/5 - 308. Does b = q?
False
Let b be (-165)/(-75) + (-8 - -4). Which is greater: b or -1/17?
-1/17
Suppose v + 13 = -3*l + 2*v, -4*v = -5*l - 31. Which is smaller: -54/13 or l?
-54/13
Suppose -31*s = -27*s + 20, 3*j - 81 = -3*s. Which is smaller: 27 or j?
27
Let r = -4 + 11. Let a = 791/138 - 3/46. Is r >= a?
True
Let s(f) = -f**3 + 14*f**2 - 12*f - 16. Let m be s(13). Let i = m + 3. Which is smaller: i or -0.4?
-0.4
Let l = -23883 - -20993159/879. Is -2 < l?
True
Let a = 1400 + -15432/11. Are a and -4 equal?
False
Let s be (-1)/((-4)/88*2). Suppose f = -m + 6*f + s, -m - 2*f + 4 = 0. Let c(o) = -o**2 - o + 7. Let r be c(0). Is m at most as big as r?
True
Let f = 27 - 35. Let w = f - -13. Is w less than or equal to 2?
False
Let m = 28 + -16. Suppose -m = f - 0*f. Is f smaller than -12?
False
Let k(u) = -u**3 + 2*u**2 - u + 9. Let q be k(0). Let l be q/(-2 + 5) + 5. Suppose 7 - l = -f. Is f bigger than 1/31?
True
Let c(o) be the first derivative of -o**4/4 + 16*o**3/3 + 8*o**2 + 34*o + 51. Let a be c(17). Is a greater than 19?
False
Let n(o) = o**2 + 4*o + 4. Suppose -24*i + 29*i = -25. Let x be n(i). Does x = 9?
True
Let g be (-3)/(-33)*1/(-20)*2. Is g >= -1?
True
Let w be 14/(-8) + 3/(-12). Let k be (-4)/10 - w/5. Let h = 0.05 - 0.65. Which is greater: h or k?
k
Let o be (-6)/(-20) + (-1)/(40/11812). Is o bigger than -295?
False
Let z be (1 - 78/54)/(20/26). Which is greater: 0 or z?
0
Suppose 37 = a - 48. Let m be a/(-2) - 17/34. Let g = 29 + m. Which is smaller: g or -15?
-15
Let c = 0.03 + 2.97. Let x = c + -9. Let z = x + 5.4. Which is smaller: z or 0.1?
z
Let b(q) = q**3 + q**2 + 1. Let j(y) = -6*y**3 - 3*y**2 - 7. Let k(h) = 5*b(h) + j(h). Let l be k(2). Let z(d) = 5*d. Let r be z(l). Is r at least -9?
False
Suppose 2*l - 102 = 5*i, 3*l - 98 = 5*i + 5*l. Let r = -129 - -109. Is r equal to i?
True
Suppose -117 = -6*u - 147. Which is smaller: -3 or u?
u
Let y = -1597 + 1596. Which is smaller: 15.4 or y?
y
Let r = 231.7 + -231.9. Is r != 336?
True
Suppose 7*x + 8 + 27 = 0. Is 2 less than or equal to x?
False
Let v be (4/32)/((-1)/2). Let m = 3.68 + -6.68. Is m less than or equal to v?
True
Let t be ((-4284)/75)/(9/(-45)). Which is smaller: t or 285?
285
Suppose u = -3 + 4. Let g(l) = l**3 + 14*l**2 + 27*l + 37. Let s be g(-12). Is u <= s?
True
Suppose 43 = 8*b - 133. Let y = 54 + -54.1. Do b and y have the same value?
False
Suppose -20 = -2*p - 12. Is 6 bigger than p?
True
Let m(z) = -7*z - 8. Let q be m(-2). Suppose q*h + 192 = 3*h. Is h less than -64?
False
Suppose -100 + 97 = -3*z. Are 1 and z equal?
True
Let i(k) = k**3 + 6*k**2 - 7*k - 1. Let c be (-4)/14 - 47/7. Let y be i(c). Are y and 4 nonequal?
True
Let g(v) = -3*v - 2. Let b be g(-3). Let f(p) = p**2 - 6*p - 6. Let a be f(b). Let u be 0 + a - 30/15. Do u and -5/4 have different values?
True
Let x = 11/4 - 51/20. Suppose -64 = 3*z + 11. Let a = z + 26. Is x at least a?
False
Suppose 84 = -3*v + 21. Let i = -191/9 - v. Let u = 5 + -6. Is u at most as big as i?
True
Let l = 558 - 539. Suppose p - 4 = 16. Which is smaller: p or l?
l
Let i = -2/195 + 16/39. Which is smaller: -32 or i?
-32
Let g = 42 + -30. Suppose 4*j + 0 = 4*s - g, 5*s + 3*j = -17. Let w = 295/6 + -49. Which is greater: w or s?
w
Let a = 556/299 - 18/23. Is 2 < a?
False
Let g(a) = 29*a - 17. Let q be g(5). Let h = -126 + q. Is h at most -36?
False
Suppose -4*y = 4*k, y + 6*k - k = -12. Let u be y/(-24) - 7/8. Is u < 2/11?
True
Suppose -2*z - 2 = -5*p, 4*p - 3*p = 4*z + 4. Let w be (3/2 - 2)*z. Is w at most as big as 1?
True
Let t = 147 - 102. Let k = t + -51. Which is bigger: k or -4?
-4
Let o = -1702/33 + 152/3. Let l = -9/22 - o. Let y be 0/(9/(-5) + 1/(-5)). Which is greater: y or l?
l
Let m(q) = 4*q - 20. Let t be m(6). Suppose 4*x - 17 = t*f - 1, 5*x = f + 4. Is x at least as big as 0?
True
Let q = 5898456 + -206467561/35. Let v = -617 - q. Which is smaller: 0 or v?
0
Let r = 1114 - 4455/4. Let o = 0.522 - 0.052. Which is smaller: o or r?
r
Suppose 4*g = -2*i + 9*g + 173, -3*i = -5*g - 267. Which is smaller: 95 or i?
i
Suppose -14*i -