!= z?
True
Let u = 16578 + -16511. Is 8 >= u?
False
Let r = 33 - 37. Let j be (-3 - r)*(-12)/188. Let b = j + 115/329. Which is greater: b or -1/4?
b
Let s = 1293247/19 - 68041. Which is smaller: s or 26?
s
Let z(w) = -w**3 - 12*w**2 + 25*w + 289. Let o be z(-12). Let p = -37 - -23. Is p not equal to o?
True
Let n = -7359 - -9490. Do 0.1 and n have the same value?
False
Let w be ((1/2)/(3/(-9)))/(7056/(-1200)). Which is smaller: -1 or w?
-1
Let y = -15187.1 + 15187. Is y <= 5210?
True
Let q be 1480/(-480)*(-20691)/31. Let n = 2058 - q. Which is smaller: 1 or n?
n
Let i = 70 + -57. Let c(u) = -10 + 2*u + 19 - i. Let z be c(-5). Is 0.1 <= z?
False
Suppose 59*o = 54*o - 285. Let i = o + -388. Let f = 5788/13 + i. Which is smaller: 0 or f?
0
Suppose -3*o - 28 = -7*o. Let k be (-38)/((-6)/(-3)) + -2. Let d be (3/45)/(o/k). Is -1 bigger than d?
False
Suppose 0 = -3*o + 238 - 121. Suppose -f = z - 41, -z + 180 - 25 = 4*f. Is o != f?
True
Let n = -1889.063 - -1890. Let v = -0.121 - -0.058. Let x = n - v. Which is greater: x or -2/37?
x
Let p = 0.077427 - 132.091427. Let d = p + 132. Does d = -0.2?
False
Let p = -0.343 - 0.657. Is p less than 6618?
True
Let y(c) be the first derivative of -c**3/3 + 23*c**2/2 - 102*c - 144. Let z be y(6). Do z and -3/712 have the same value?
False
Suppose 1144*j - 289 = 1127*j. Let k = 8 - -9. Is k greater than j?
False
Suppose -55*q - 35*q - 86 - 4 = 0. Which is greater: -2/7687 or q?
-2/7687
Let w be -1 + 12/15 + (-61)/(-5). Suppose s = 3*s - 5*l + 15, 4*l = 5*s + w. Which is smaller: 6/109 or s?
s
Let u(m) = -2*m + 50. Suppose -4*z = z - 4*b - 95, 4*z + 4*b - 112 = 0. Let w be u(z). Which is bigger: w or 13?
13
Let y = -9517 - -9572.7. Which is bigger: y or 3?
y
Suppose -1 = -5*h - t, -h = 10*t - 8*t - 11. Which is smaller: -1/831 or h?
h
Let b = 48 - 47.555. Let y = -43.01 - -44.01. Which is smaller: b or y?
b
Let b(d) = 56*d - 804. Let w be b(-16). Is -1700 greater than w?
False
Let z be (-2117)/(-4) + (-1)/4. Let m = 3697/7 - z. Let u = -11 + 11. Is u > m?
True
Suppose 5*b = 4*d + 87 - 95, 5*d = -4*b + 10. Let i be (-2)/22*(-130)/13. Is i equal to d?
False
Let m = 2924 + -2937. Let t(s) be the first derivative of -s**3/3 - 7*s**2 - 9*s - 1. Let j be t(m). Is 8/3 != j?
True
Let o = 1519 - 5971. Let d be (9/12)/(o/(-32)). Which is greater: 0 or d?
d
Suppose 13869 = -100*t + 3169. Which is greater: -741/7 or t?
-741/7
Suppose 41854 - 237819 = -35*f. Is f not equal to 5599?
False
Let r(l) = -11*l - 329. Let w be r(-31). Suppose -z + 4 = -2*m, -4*z + 0*z = -4*m - w. Which is greater: m or -1/975?
-1/975
Let v = 227 + -213.3. Let l = v - 11.7. Which is smaller: -4 or l?
-4
Let j be ((-12)/16 + 3 + (-3145)/(-60))/6. Is j >= 1/2?
True
Let r = -342 - -375. Suppose r*i + 48 = 27*i. Which is smaller: 5 or i?
i
Let u be -265*((-2612)/1630 - (-288)/180). Which is smaller: u or 2?
u
Let c be 88/2332 + 136746/(-159). Which is bigger: -864 or c?
c
Let q = -5 + 3. Let o be 80/(-28)*(-3 + 1/q). Let v be 3/(405/(-17)) + 2/o. Which is bigger: v or 1?
1
Let v be -2 - 25/(-15) - 2162274/(-963). Let q = v - 2245. Which is bigger: 0 or q?
q
Let w(a) = -59*a. Let i be w(6). Suppose -5*h - 49 - 1535 = 191. Which is bigger: h or i?
i
Let r(c) = 5*c - 23. Let m(u) = u**2 + 14*u + 18. Let k be m(-13). Let v be r(k). Are v and 5 equal?
False
Let z be -2 - -12*62/9. Let v = -73 + z. Is v at most 9?
True
Let g = -22203 - -10590893/477. Do g and 0 have the same value?
False
Let l(s) = -s**2 - 5*s + 7. Let r be l(-6). Let k(w) = -11*w + 87. Let x be k(6). Let h be 2 + ((-90)/x)/1 + 2. Which is bigger: h or r?
r
Let a be -5 - (-1 - -1) - (97 - 114). Let k(t) = 5*t - 58. Let m(p) = 15*p - 174. Let j(d) = -8*k(d) + 3*m(d). Let o be j(a). Are o and 2 non-equal?
False
Let m = -0.225 - -70.225. Let q = 70.56 - m. Which is bigger: q or 1/2?
q
Let m be -1 + (-129)/(-21) - (60/105)/4. Is m smaller than -1400?
False
Let m(b) = -1312*b**2 + 3*b - 3. Let l be m(-1). Is l less than -1319?
False
Let d be 1*(203 + 1 - 3) + 1/(-1). Which is bigger: d or 193?
d
Let p = 39 - 37. Suppose p*s - 6 = -4*s. Let z be ((-2)/2)/(9/(-3)). Does z = s?
False
Let a = -1 - -6. Suppose -4 = 25*f - 21*f - 4*v, a*f = -5*v + 15. Which is smaller: f or 2/107?
2/107
Suppose -6*p = 3*c - 7*p + 8, -2 = -3*c - p. Which is smaller: c or 2/2037?
c
Let s be (50240799/1764)/(25/8*2). Let q = s + -4557. Do 0 and q have different values?
True
Let r = -356.6 - -351. Let j = -0.88 + -27.72. Let s = r - j. Is s > -1?
True
Let d be 7 - (-1296)/(-189) - (-22)/(-7). Which is smaller: -25/7 or d?
-25/7
Let y(c) = 26 + 78*c - 21 + 39*c + 71*c + 34. Let j be y(-2). Is j smaller than -336?
True
Let h = -7471 + 7476. Is 437/73 equal to h?
False
Suppose -201 = -6*y + 51. Suppose -4335 = y*s - 891. Which is greater: -80 or s?
-80
Suppose 12*l = l + 10*l + 8*l. Is -3/250 smaller than l?
True
Let k = -19 - -54. Let x = -84 + 49. Let l = x + k. Which is bigger: -1/12 or l?
l
Let d = -51 + 51. Suppose -4*m + 3*x = 108, -2*m + 3*m + 2*x + 16 = d. Which is greater: -6 or m?
-6
Let y = 16 - 9. Suppose -2*m - 109*n + 48 = -114*n, -3*n - 30 = 0. Is m at most as big as y?
True
Let o = -102 + 105. Let w = o + -12. Let h = w - -11. Is -3 < h?
True
Let z be ((-6236)/9732 - 0) + (-4)/(-6). Let t = z - -5107/115973. Let n = t - -1503/1001. Which is greater: 0.1 or n?
n
Let z = -55 - -93. Suppose 0 = 10*m + 2*m - 17*m + 190. Are z and m equal?
True
Let t = -609 - -340. Is t > -1609/6?
False
Suppose -250*i - 5*j + 13 = -253*i, 0 = -2*i + 2*j - 14. Which is greater: -127/12 or i?
-127/12
Suppose 4*l = 33*l. Let x(f) = -6 + 4*f**2 + 70*f - 63*f - 5*f**2. Let k be x(6). Is l at most k?
True
Suppose 3*b + 3 = 0, 0 = 4*v - 4*b - 417 - 107. Suppose 4*q - 14*q = -v. Is -7 less than q?
True
Let d be 1/(-3) - (-22)/30. Let l = -6911 - -89860/13. Is d at most as big as l?
True
Let a = 70 + -67. Suppose 3*c + a*r = 3, -3 - 2 = 5*c - 5*r. Suppose c = t - q - 4, 2*t - q = -0*t + 6. Is t less than or equal to 10/3?
True
Let f = -232.8 + 232.7. Which is smaller: 3.0386 or f?
f
Let b = -604 - -424. Which is bigger: -2 or b?
-2
Let n = -8643741/8 + 1079123. Let k = -1339 - n. Which is bigger: k or 5?
k
Let k be (-14)/(-4)*((-57)/3857 + (2 - 2)). Which is smaller: -16/9 or k?
-16/9
Let c = -49 + 59.4. Let r = -10.3 + c. Which is smaller: r or 3/16?
r
Let z = -645 - -470. Let j be 8/20*(z/14)/5. Let a be (-1)/8*(-1)/2. Is a less than or equal to j?
False
Let p = 5155 + -5155. Is 5/24 at most as big as p?
False
Suppose -68*z - 31 = -65*z - 4*x, z + x = 6. Is z at least 59/19?
False
Let g = 129 - 90. Let d(q) = 15*q + 6. Let y be d(9). Let b = 179 - y. Which is greater: g or b?
g
Let q = -32734 + 32720.417. Let b = q - 0.417. Is b equal to 8?
False
Let u = -73 - -77. Suppose h - 85 = -u. Which is smaller: 82 or h?
h
Let y(q) = -9*q**2 + 110*q - 435. Let o be y(5). Is o at least as big as -59?
False
Let v(f) = -5*f + 18. Let s be v(6). Let w be 1/(-1) + (-32)/s. Suppose -c + 5 = -2*r, -2*r - 3*c + 17 = 2. Is w greater than or equal to r?
True
Let c = -3753 - -5674. Is c >= 1922?
False
Let o = 21583.708 - 21574. Which is smaller: o or -0.1?
-0.1
Let j(u) = 2*u - 85. Let g be j(-24). Let i = g - -1087/8. Is i != 3?
True
Let a = 189.07 + -270.07. Is -6.8 at most a?
False
Let n = -399 + 447.8. Let v = n + -49.21. Is v > 0.1?
False
Suppose 341*m - 339*m + 2 = 0. Is -5/452 bigger than m?
True
Let l(d) = 2404*d**2 - 382*d - 381. Let a be l(-1). Is a > 2403?
True
Let i = 0.12 + -0.26. Suppose 0 = -3*d, -6*d = 3*z - 5*d - 12. Suppose -l - 4*v = -6*l - 26, -4*l - 3*v = -z. Which is smaller: l or i?
l
Suppose 6 + 19 = 5*j, 12 = 2*s + 4*j. Let t be (2/124*-2)/(s/(-28)). Which is smaller: 0 or t?
t
Suppose 14 - 14 = 92*v. Which is smaller: -7/530 or v?
-7/530
Let y = -476 - -1861. Suppose 13*l = -45 - y. Which is greater: l or 1?
1
Suppose 553*n = 552*n - 196. Let d = 198 + n. Let h = -10 - -6. Is h > d?
False
Let m(c) be the first derivative of c**4/2 - 23*c**3/3 + 4*c**2 + 15*c + 15. Let b be m(11). Is -19 less than or equal to b?
True
Let q be (8/(-3) + 3)*(-324)/(-90). Is 22/119 equal to q?
False
Suppose 0 = -15*a - 1541 + 1451. Is -182/25 < a?
True
Let t = -78 - 52. Let m be t/(-136) + 1/(-4). Suppose -3*f = 5*p - 29, -496*p + 501*p = 2*f - 11. I