x(g) = g**3 - 3*g**2 - g + 2. Let q be x(1). Is q >= -2/169?
False
Let g = 0.201 - 0.301. Which is bigger: g or -108/17?
g
Let v be ((-93)/(-2015))/((-3390)/(-25)). Which is smaller: 0 or v?
0
Let c = 24 - 36. Let l be 24/(-2) - c/(-4). Let g = -11 - l. Which is bigger: 3 or g?
g
Suppose -7*k = -12*k. Suppose v + k*v = 0. Let s be (0*(v + 1))/(-1). Is -2/41 at most as big as s?
True
Let p = 11.43 - 2.38. Let s = p + -9. Let w = 0.25 - s. Is w smaller than -1?
False
Suppose 0 = 4*d - 3*d - 44. Suppose 1902 = -19*z + 65*z - 168. Is z at most as big as d?
False
Let t = -311 - -313.6. Which is greater: -1 or t?
t
Let u be (3*(-16)/12)/(-2). Let t = 14 + u. Let g be (3/(-2))/((-6)/t). Is g at most as big as 1?
False
Let h(o) = -o**2 - 6*o - 3. Let t be h(-2). Suppose 4*p - 15 = t. Let n be 2 - p - (-5)/1. Do 3/2 and n have different values?
True
Let y(k) = k**2 + 13*k - 30. Let a be y(-18). Let l be 4/18 + 1/((-27)/a). Is l not equal to 1?
True
Let a = 27 - 24. Suppose 3*p = -2*g - 9 - a, -3*p = -2*g - 12. Suppose -o - o = 2*n + 4, 5*o - 3*n = -34. Is o smaller than g?
False
Let l = -5319/141716 + 24/499. Which is greater: 0 or l?
l
Let t be 12/16 + 1359/(-492) + 2. Is 1 greater than t?
True
Let r be 7 - 10/((-291410)/(-204001)). Is r greater than 0?
False
Let r be (0 + (-4 - -5))/(-1). Which is greater: -1/48 or r?
-1/48
Let z be (-526)/174 + (7 - 4). Let s(m) = m**2 - 23*m + 22. Let i be s(22). Which is smaller: i or z?
z
Let i be (-7)/(28/732)*-1. Suppose 3*g + 36 = i. Is 50 != g?
True
Let r(w) be the first derivative of -2*w**2 + 36*w - 15. Let h be r(-5). Which is smaller: 57 or h?
h
Let b = 10.9 - 11.59. Which is smaller: 3 or b?
b
Let a = 27 - 2. Let z(i) = -i**3 + 24*i**2 + 27*i - 50. Let w be z(a). Which is bigger: 8/27 or w?
8/27
Let p = 82.972 - 83. Let u = p - 0.972. Which is smaller: 1/5 or u?
u
Let d(x) = -10*x**2 - 22*x + 40. Let m be d(2). Is m != -43?
True
Let a be 7 + (118/531)/((-201)/195 + 1). Let w = 0.3 + -0.3. Let i = w - 8. Which is smaller: a or i?
i
Let m = 417035 - 11245070/27. Let t be (-10)/(-65)*-1 - (-42990)/78. Let y = m - t. Is y at most 0?
True
Suppose 342 = 3*f + 5*y, 0*f = -4*f - 4*y + 464. Let a be (-1)/2 - f/(-34). Suppose k = 13 + a. Is k at least 16?
True
Suppose 0*a = 3*a + 3*z - 120, 1 = -z. Let c = -46 + a. Is -4 at least as big as c?
True
Suppose 4*a + 17 - 11 = -3*k, 10 = 3*a - 5*k. Let m be ((-2)/(-4))/(5/30). Suppose m*c - 5*c + 4 = 0. Are c and a non-equal?
True
Let x(g) = -2*g**3 - g**2 + 5*g + 72. Let v be x(0). Which is bigger: v or 73?
73
Suppose -2*d + 0 + 14 = g, -5*d + 33 = 2*g. Suppose -5*y + g*y = 13. Is -14 smaller than y?
True
Let o be 1054/(-16)*(48/44 - 2). Let c = 612/11 - o. Which is bigger: -5 or c?
c
Suppose s + s = -26. Let b = 78 + -91. Let x = s - b. Are x and -2/11 equal?
False
Suppose -2*b - 18*k = -20*k + 826, 2065 = -5*b + k. Is b at most -412?
True
Let i be 30/(-10) - 46/(-2) - 2. Is i equal to 14?
False
Suppose 4*t = -x + 8, -3*t - 2*t + 10 = 2*x. Let d be x - (0 + 14/(-193)). Let p = d + 976/2509. Is 1 less than or equal to p?
False
Let k(n) = n**3 - 10*n**2 + 7*n - 2. Let f be k(9). Is -22 less than or equal to f?
True
Let b(m) = m**2 + 3*m - 2. Let p be b(-3). Let n be (4/(-6))/(p/171). Let v be n/(-45) + (-3)/(-5). Is v bigger than 0?
False
Let x = -8 + -1. Let h be (-25)/15*(-8)/(40/15). Let t = x + h. Is 1 smaller than t?
False
Let t = -8564 + 342581/40. Is t < 0?
False
Suppose -3*h + 38 = 5*a - h, -5*a + 26 = -h. Which is bigger: 4 or a?
a
Suppose 4*c + 20 = -3*y - c, -8 = y + 2*c. Suppose 3*r - 3 = 3*w, 5*r + y*r + 2*w - 26 = 0. Let g be 0 + 7 + (3 - r). Which is smaller: 7 or g?
g
Let p = -598 - -545.2. Let i = p + 53. Let d be -2 - (-2 + (-9)/(-12)). Which is bigger: i or d?
i
Let n be ((-2)/(-190))/((-2)/5). Suppose -1020*p = -1028*p. Which is smaller: p or n?
n
Let g = -433 + 482. Which is smaller: 1/4 or g?
1/4
Suppose -176 = -2*x - 170. Are 44/25 and x non-equal?
True
Let k = -353 - -337. Which is smaller: 0.24 or k?
k
Let j(y) = -y + 5. Let b be j(3). Let g(q) = -q + 1. Let t(x) = -x - 1. Let z(s) = b*g(s) - t(s). Let w be z(3). Which is smaller: -1 or w?
-1
Let y = -27/2 - -289/22. Suppose -3 = 5*g + 17. Let u be 2 + g + 18/6. Is u at least as big as y?
True
Suppose 41*b = 14*b - 459. Is -123/7 equal to b?
False
Let f(x) be the second derivative of -x**4/24 - x**3/2 + 3*x**2/2 - 2*x. Let b(r) be the first derivative of f(r). Let o be b(-3). Which is smaller: o or 0.1?
o
Let o be (6 - (-440)/(-75))/(116/20). Suppose -6 = -3*v - 3. Which is smaller: o or v?
o
Suppose 7*u - 12 = 3*u. Suppose -1 = -3*a + 14. Suppose -a = -2*r - u. Which is bigger: -2/5 or r?
r
Let b(v) = 2*v - 15. Let g be b(7). Let t = -8 + 11. Let l be (-7)/(-9) - (t + -2). Which is bigger: g or l?
l
Suppose 2*x = -4*t - 8, 4*x - 97 + 122 = t. Is 2/93 smaller than x?
False
Suppose 1 = -5*h + 26, 4*h - 5 = -5*d. Let z be d + -4*3/(-12). Let u be -1 + z + 17 - -2. Are u and 17 equal?
False
Let k be (-10)/5*9/(-6). Let r be 21*(-2)/8*(-16)/k. Which is smaller: 29 or r?
r
Let v = 92.5 - 93.5. Which is greater: v or 553?
553
Let x be (-52)/182 + 60/259. Is -0.3 greater than or equal to x?
False
Let g = -0.06 + -7.94. Let o = -189.9 - -182. Let l = o - g. Is -3 greater than or equal to l?
False
Let l = -0.11 - -14.11. Let x = 14.1 - l. Which is smaller: -11 or x?
-11
Let q be (-5)/(-20) - 3/14. Suppose 5*r + 2*z - 36 = 0, 0 = 4*r - 3*z - 0 - 38. Suppose 7 = -r*t + t. Which is bigger: q or t?
q
Let m = 53 - 56.3. Let d = -3.25 - m. Which is smaller: d or 2/7?
d
Let b = 77.1 - 78.1. Let h(j) = -j**3 - 2*j**2 + 3*j - 2. Let k be h(2). Which is greater: b or k?
b
Suppose -15*g - 17 = 2*g. Is 2/55 != g?
True
Let q(c) = 2*c**3 - 3*c**2. Let l be q(2). Suppose r = -r - l. Let b be (-6*r/(-4))/(-1). Which is greater: b or 5?
5
Let y = 234 - 234.7. Are y and -47 non-equal?
True
Let y = -485557/11940 - 1/3980. Which is greater: 0.1 or y?
0.1
Suppose -53*p + 52*p = -96. Which is smaller: p or 95?
95
Let q = 3 - -10. Let s = 66 - 74. Let f = s + q. Is f at most as big as 0?
False
Suppose -5*b + 2*x + 82 = 0, -6*x - 35 = -2*b - 3*x. Is b less than 22?
True
Let i = 0.03 + 0.12. Is i less than -5?
False
Let a = 143 + -238. Which is smaller: a or 0?
a
Let o(b) = -7 + 5 - 2*b**2 + b + 0*b + 3*b**2. Let k be o(2). Suppose -7*d = w - 3*d, 5*d = k*w. Is -8/7 bigger than w?
False
Let x(a) = 2*a**2 - 2*a - 5. Let v be x(4). Let u = -17 + v. Suppose 0*b - b + u = 0. Which is bigger: b or 5/2?
5/2
Let o be 18/(36/6)*1. Which is smaller: o or -14?
-14
Let z(p) = -2*p**2 + 21*p - 7. Let o be z(13). Let s be (o/270)/(2/(-5)). Is -2 less than s?
True
Suppose 44*n - 47*n - 9 = 0. Is -7 equal to n?
False
Let c be 2/(-2)*-813*2/(-3). Is -0.1 at most c?
False
Suppose 505 = -14*r - 1567. Let h = r + 146. Are h and -32 non-equal?
True
Let a be (-2)/(-10) + 392/(-35). Let h = -10 - a. Which is smaller: h or 0.01?
0.01
Let h be 1/2 + -1*482/940. Which is smaller: 2 or h?
h
Let a be ((-16)/(-12))/(15/(-45)). Which is smaller: -15 or a?
-15
Suppose -2003 = 8*x + 5629. Let q = x + 82996/87. Does q = 0?
False
Let x be (-94)/5 + (-4)/20. Let r = x - -28. Suppose r*h - 44 = 5*h. Is h bigger than 11?
False
Let d = 1356 + -1374. Which is smaller: d or -130/7?
-130/7
Let f = -31/258 - 2/43. Let p = 23/39 - 313/663. Is p at least as big as f?
True
Let s(z) = -2*z + 9. Let o be s(4). Is o <= 1/10?
False
Let s(z) = -z**2 - 3*z + 9. Suppose 0 = 6*y - 4*y + 8. Let h be s(y). Suppose -22 = h*u + 3. Which is smaller: u or -7?
-7
Suppose 3*l = -2*f, -2*l + 7 = -3*f - 3*l. Let g be 1/(f/(-36)*-2). Let u be (-4 - g) + 14/(-8). Which is smaller: u or 0.03?
0.03
Let n(t) = -3*t**2 + 90*t + 41. Let i be n(29). Does i = 123?
False
Let y = 439 - 439.38. Is -2 less than or equal to y?
True
Suppose -4*t = 15*t - 247. Let f be (1 - 0)*(-1 + 13). Is t less than f?
False
Let g(b) = -27*b**3 + 10*b - 9. Let j be g(1). Is -28 < j?
True
Let u be (-5)/4*(-4)/40*8. Which is smaller: u or 1/430?
1/430
Let b = 2554 + -17821/7. Is b at most 7?
False
Suppose -5*n = 3*m - 14 - 57, 3*m - 5*n = 121. Suppose 3*s - 82*v + 12 = -85*v, 3*s - 3*v - 6 = 0. Which is smaller: m or s?
s
Suppose 0*o = -k - 2*o - 149, 0 = -2*o - 8. Is k less than or equal to -141?
True
Let n be 3/3 