 h be -11 - -20 - (-1117036)/(-124117). Do h and -1 have the same value?
False
Let t be (3225/(-630) + 2)/((-1)/279). Let q = -870 + t. Which is smaller: q or -1/29?
-1/29
Let g = 3597 - 3596.8. Which is greater: g or 16.4?
16.4
Let s be -5 + 0/(-5) + 56. Suppose 0 = -4*b - s + 31. Let k be -8*(-2 + 15/6). Which is smaller: k or b?
b
Suppose 256*v = 1655066 - 34330. Is v at most as big as 6331?
True
Let d = 11.199 - 7.199. Suppose -5*c - 8 = 4*f + 6, -f = c + 3. Is f >= d?
False
Let f = -16 + -51. Let m = f - -65. Which is bigger: m or -5?
m
Let l(u) = u**3 + 13*u**2 - 58*u - 396. Let z be l(-15). Is 4/3 at most z?
True
Let g(q) be the second derivative of -q**4/12 - 13*q**3/6 - 17*q**2/2 - 11*q. Let s be g(-12). Let x = s + -17. Are x and -22 equal?
True
Suppose 4*j = 12, -36 = 3*r - j - 4*j. Let b(d) = d**3 - 2*d**2 - 20*d + 76. Let o be b(5). Suppose -46*n + o*n = -35. Is r less than n?
False
Let b = -20 + 51. Let q = 30.85 - 4.95. Let j = 27.9 - q. Which is smaller: j or b?
j
Let m(g) = -12 - 14*g + 8*g - 4 - 2*g. Let o be m(-4). Suppose 40 + 2 = 7*x. Which is smaller: x or o?
x
Suppose -9*s + 12*s = 9120. Suppose -19*j = -23*j + s. Let i be (6 - 4428/j) + (-1)/5. Which is smaller: i or 0?
i
Let t(y) = -2*y**2 - 3*y + 54. Let k(b) = -b**2 - 2*b + 27. Let z(j) = -7*k(j) + 4*t(j). Let i be z(0). Suppose -i = -4*r - 63. Which is smaller: r or -8?
r
Let d be (0 + 3 - 6/3) + -2. Let w(n) = -32*n. Let b be w(d). Let s = b + -45. Which is smaller: s or -2?
s
Suppose 67*z = 62*z - 20. Let h be -12 - z - (0 + (-2 - 0)). Which is smaller: h or 9?
h
Suppose 1860 = 149*y - 137*y. Let w be 10/1348*(-124)/y. Which is smaller: w or 0?
w
Let h be (-2)/(194*(-4)/(-48)). Let s be -3*(-8)/(-18) - ((-104)/24 + 4). Which is greater: s or h?
h
Suppose 2*y = -m - 15, 2*y + 12 - 3 = m. Which is smaller: -253 or m?
-253
Suppose -591*h = -1169*h + 584*h + 90. Which is bigger: h or -426/29?
-426/29
Suppose -56*m - 75 - 43 = 50. Which is smaller: -77/29 or m?
m
Let b = 282 + -162. Let i be ((-26622)/(-24))/9 - (-5 - -7). Which is smaller: b or i?
b
Let s be ((2415/9)/(-5))/((-4)/(-6)). Let t = 791/10 + s. Which is smaller: -1/2 or t?
t
Suppose 0 = -k - 3*b + 2, 0 = 2*k + 3*k - 3*b - 10. Which is smaller: k or 0.89?
0.89
Let y be (-90)/3 - 0 - 3. Let a = 2.869 - -0.211. Let h = 2.98 - a. Which is smaller: y or h?
y
Let v = -1159398/439 - -2641. Which is greater: v or -1?
v
Let v = 151 + 379. Let m be v/60 + (10/12)/5. Is 0 > m?
False
Suppose -1804*c + 1797*c = 0. Let k = -4/2939 + 64830/126377. Which is bigger: c or k?
k
Let t(s) = 37*s - 262. Let o be 4/(-10) - (210/(-25) - -1). Let n be t(o). Which is smaller: n or -3/2?
n
Let i = -14627 + 14572. Which is smaller: i or -95?
-95
Let v = -8 + 11. Let z = -1.38 + -112.62. Let s = 102 + z. Do s and v have the same value?
False
Suppose -4*l - 3 = -3*s + 7, 5*l = 5*s - 15. Let c(w) = -2*w**3 - 16*w + 15*w**s - 13*w + 25*w + 17. Let f be c(7). Are f and 39 unequal?
True
Suppose 0 = -12*p + 9*p + 1065. Suppose 3*r + p = 250. Which is smaller: r or -33?
r
Suppose 0 = 7*h - 3*h - 16 - 8. Let s(u) = u**2 + 5*u + 1. Let l be s(-2). Let v = l + 11. Is v at least h?
True
Suppose -3*u + 1238 + 1183 = 0. Let s = u - 689. Which is smaller: s or 1/3?
1/3
Let s be (-3)/(9/(-3)) + 0. Let a = -5501 + 5501.026. Which is greater: s or a?
s
Let y = -15.73 + 16.85. Which is smaller: -0.03 or y?
-0.03
Let c be (210/15)/(-2 + 4). Let x(v) = -v**2 + 20*v - 8. Let f be x(c). Is f > 83?
False
Let i = 66 + -1424. Which is bigger: -1357 or i?
-1357
Let a = 14887581/259369 + -4190/73. Which is bigger: 1 or a?
1
Let y = 683270 + -130504926/191. Which is greater: -2 or y?
y
Let h = -140/213 + -2/213. Let t(x) be the second derivative of -x**3/6 + x**2 + 12*x + 2. Let n be t(2). Is n less than h?
False
Let o = -84 + 354. Let k = 273 - o. Are 3/8 and k equal?
False
Let v = -110.7 - -14.9. Let d = -89.8 - v. Let f = 3.1 + -3. Which is smaller: f or d?
f
Suppose -9*o - 22 = -184. Suppose 8 = 3*l - 4, 2*u - o = -4*l. Is u != 2/27?
True
Let t(j) = j + 14. Let k(h) = -h - 14. Let l(c) = 4*k(c) + 6*t(c). Let d be l(-14). Is 8/11 at least as big as d?
True
Suppose 0 = 37*a - 31*a - 12. Suppose x = -d - 4, d - 2 = -a*x - x. Suppose -3*q - 12 = 5*k, -3*q - 2 = 4*k + 10. Is d smaller than q?
True
Let f(d) = d**2 + 32*d - 1125. Let g be f(-53). Is -38/3 greater than or equal to g?
False
Let q be (400943/(-84))/((-100)/8 + -2). Let k = q - 4605/14. Let y = -4555/18357 + k. Do -1 and y have different values?
True
Let r(b) = b**2 + 3*b - 5. Let o be r(-4). Let g be -1 - (1 + o) - -5. Let y be (7 + -4)/(-12)*(-154)/11. Are g and y non-equal?
True
Let c(u) = -50*u**2 + 14*u + 15. Let d be c(-1). Let n = -38 - d. Is 3 >= n?
False
Let p be 1/(-2)*-1684*3/6. Let m(c) = 431*c - p*c - c**2 - 21 + 0*c**2. Let d be m(6). Which is greater: 2/9 or d?
d
Let q = -43 + -15. Let o = 66 + q. Suppose 0*g = o*g - 64. Which is bigger: -2/5 or g?
g
Let g(p) be the second derivative of -9*p**2 + 18*p - 1/6*p**3 + 0. Let t be g(-18). Is t not equal to 1/81?
True
Suppose 4*u = -3*z - 1810, -3*z + u - 1032 - 803 = 0. Let t = 2922 + -3532. Is t > z?
False
Let g(k) = -69*k - 1471. Let o be g(-41). Is 1357 < o?
True
Let k = 159/28 - 20005/3444. Is 1 not equal to k?
True
Suppose -4 = -34*y + 32*y. Suppose 2 = -5*g + 4*p, 2*g - 5*p - 8 = -2. Let f be (-7 + -2 - y)/(g/2). Which is bigger: f or -2?
f
Let q = -2 - -17. Let n(j) = j**2 + 19*j + 40. Let h be n(-17). Let y be (-15)/h*(-18)/q. Which is smaller: y or 17/4?
y
Let f be 112/96*(-1170)/(-28). Let k(x) = 16*x - 1. Let n be k(-3). Let i = n + f. Is i less than 0?
True
Let d = 6.656 + -6.956. Is d > -15/107?
False
Let k be (-171)/(-76)*4/3*3/(-9). Is 7/472 >= k?
True
Let r = 107 - 103. Is -17/22 greater than r?
False
Let o(m) = m - 6. Let z be o(7). Suppose 3*l + z = k, -4*k = -2*k + 3*l - 2. Let r be ((-40)/18 - 6/(-27))*8/720. Is r not equal to k?
True
Let d = -1549.87723 - -1550. Which is smaller: d or 0.1?
0.1
Let j = 33 + -41. Suppose 5*i + 2*f = 3680, -5*i - 6*f + f + 3680 = 0. Let d = i + -2233/3. Is d bigger than j?
False
Let y(v) = v**2 + 19*v + 34. Let t = 2 + -19. Let b be y(t). Let a = -1 + 0. Is b > a?
True
Let d = -0.7 - -0.2. Let k = d + -1.5. Let r = -6.894451 - 0.105549. Which is smaller: k or r?
r
Suppose -6*h = -3*h - 1569. Suppose 0 = 2*y + 11719*o - 11733*o - 962, -5*o = -30. Do h and y have the same value?
True
Suppose 0 = -4*i - r + 9, -i - 4 + 22 = -5*r. Let x(c) = c**2 - 2*c. Let m be x(i). Suppose -6*f = -2*h - 2*f + 96, -2*h + m*f = -91. Is 38 less than h?
False
Let p = -2.8 - -1.025. Let c = p + 0.075. Let o = 6.7 + c. Are -9 and o unequal?
True
Let t = -1444 + 1418. Suppose -b - 30 = 2. Which is greater: t or b?
t
Suppose -45 = -3*g + 6. Let i = -104066 + 104061. Which is smaller: i or g?
i
Let x = 42285 + -298317/7. Which is bigger: x or 1/3?
1/3
Let o be (-14756)/126 + -4 + -2. Which is smaller: -124 or o?
-124
Let k = 5646 + -5646. Which is smaller: -2177 or k?
-2177
Let j be -4 - (-1418)/(-20)*-4. Let z = j + -3989/15. Which is bigger: 15 or z?
15
Let p = -127.194 + 127. Let h = -0.394 - p. Do h and 25 have different values?
True
Let m = -1 + 3. Let c be 1331/(-6) - (-2 - 1). Let z = c - -221. Which is bigger: z or m?
z
Let i(v) = 5*v**3 + 2*v**2 - 40*v - 5. Let w(l) = -4*l**3 - 3*l**2 + 40*l + 6. Let g(q) = -3*i(q) - 4*w(q). Let t be g(-10). Which is bigger: t or -14?
t
Suppose -38*r = 21*r - 7*r + 19*r. Is r equal to -6/3013?
False
Suppose -6 = -5*i - 4*n + 24, -3*i = -4*n + 14. Suppose -310 = 24*t + i. Do t and -9 have the same value?
False
Let b be 6/(-4)*16/48*(-17)/119. Which is bigger: b or -215?
b
Let r(h) = h**2 + 10*h - 1214. Let z be r(33). Which is greater: 203 or z?
z
Suppose 0 = 3*y - 7*y + 20. Suppose -h + 5*s = -y*h + 32, 2*s - 8 = 0. Suppose u + 5*z - 22 + 58 = 0, -h*z = -4*u - 167. Which is smaller: u or -42?
-42
Let n = 5178 + -5179. Is 3/3538 greater than or equal to n?
True
Let z be 19826/30 + 1548/5160. Which is smaller: z or 660?
660
Let t = 952 - 939. Suppose 0 = 4*l - 12*n + 8*n - 4, 2*l = -n - t. Which is smaller: -11 or l?
-11
Let u be 154/(-3)*36/(-12). Suppose 3*i + 5*s - 765 = -2*i, -4*s - 153 = -i. Do u and i have different values?
True
Suppose -4*y = 5*o + 736, 78*o - 73*o 