45?
645
Let p be 6/30 - (9294/4230 + -2). Is p < 0?
False
Let n be (12/(-7))/(38/(-133)). Suppose n*o + 9 = 3. Are o and -2/7 nonequal?
True
Let h = 2562 + -48691/19. Do 0 and h have different values?
True
Let n = 5 - 3. Let t = 3.075 + 0.925. Is n <= t?
True
Let p(h) = -6*h - 46. Let i be p(-14). Which is greater: i or 35?
i
Let p = -31 - -30.9. Let b = -5.1 - -5. Is b greater than p?
False
Let l = -17 + 13. Let t = -3.9 - l. Let k = -1 - 7. Which is smaller: t or k?
k
Let d = -0.7 + 1.6. Let h = -1 + d. Which is greater: h or -0.06?
-0.06
Suppose -6*u + 4*u + 26 = 0. Let g = 13 - u. Let o(b) = -b**2 + 4. Let r be o(g). Which is bigger: -2 or r?
r
Suppose -2*r - 3*p - 2 = p, -3*r - 3 = p. Let v be (4/(-142))/((-5)/(-10)). Is v <= r?
False
Let j be 41/(-3)*(10 - -2). Is -163 bigger than j?
True
Let a = -643 - -647.7. Is -2/7 greater than a?
False
Let x(y) = 6*y - 1. Let q be x(-4). Let t = -2076 + 2075.9. Which is bigger: q or t?
t
Let v be 751/(-2574) - 1/(-2). Let x = v + 2/143. Which is bigger: x or 0?
x
Let b(p) = -p**2 - 2*p - 1. Let m be b(-2). Let r = -719/33 - -131/6. Which is smaller: r or m?
m
Let f = -26828 - -240640/9. Let c = -90 - f. Suppose -653*v = -659*v + 6. Is c less than v?
True
Let q(z) = -z**3 - 4*z**2 + 4*z + 5. Let w be q(-4). Suppose -36*u - 320 = 4*u. Which is bigger: w or u?
u
Let v = 7 - 5. Suppose 4*q - v = k + 15, 4*k = -2*q - 14. Suppose 3 = 2*n - q. Does 2 = n?
False
Let x = 5/157 + 112/1413. Suppose 0 = -5*q + 25, 5*s + 0*s = -3*q - 5. Let r = 6 + s. Is r at most x?
False
Let h = 5.2 + -0.2. Let f = 3 + h. Suppose 5*b = -4*j + 1, 10*b + 2 = -4*j + 8*b. Which is smaller: f or j?
j
Suppose 0 = -4*k - 7 - 1, 3*j = 5*k - 38. Let o be (-1)/(1/2)*j/(-32). Let g be 13/14 - (-2)/(-2). Is g <= o?
False
Suppose 5*p - d - 1 = 0, p - 22 = -d - 17. Which is greater: p or -15/32?
p
Let y be (-2 + -26 - -1)*1. Are -26 and y nonequal?
True
Let g(i) = i**3 + 11*i**2 - 6*i + 73. Let z be g(-12). Is z greater than or equal to -3/883?
True
Suppose 4*a - 15 = -z, -4*z - 332 = -a - 307. Suppose 3*x - 8*x = -20. Suppose l = 3*o - x*l + 46, 0 = -5*o + 4*l - 55. Which is bigger: o or z?
z
Let g be 30/(-4)*8/10. Suppose -4 = -y + 5*y, -5*y = 2*r - 3. Suppose k + 0*i = 2*i - 13, -r*i + 5 = 5*k. Which is smaller: g or k?
g
Let y(x) = 2*x**2 - 7*x - 2. Let z be y(4). Let b be (z - (-27)/21) + 1 + -4. Let s(h) = -2*h**3 - h**2 - h - 1. Let j be s(-1). Which is bigger: b or j?
j
Suppose -x - 6 - 1 = 3*m, 2*x - 2*m - 10 = 0. Suppose x*f = 3*f + 18. Which is bigger: f or -19?
f
Let t be -513 - -166 - (-1 - -1). Is -347 <= t?
True
Let x(w) = -w**3 + 5*w**2 + 29*w - 50. Let i be x(6). Is i greater than or equal to 89?
False
Let v be -3 + (-8)/(-4) + 3. Suppose -d - v*t - 17 = -4*d, d - 8 = 3*t. Suppose h = z + 8 - 3, -d*h = -2*z - 25. Do z and 4/21 have different values?
True
Let o = -703950 + 399575. Let z be o/(-487900) + (-1)/4. Let d = 6/287 - z. Which is greater: d or 1?
1
Let q(y) = 8*y + 3. Let t be q(-11). Let w = t + 929/11. Is 0 at most w?
False
Suppose -5*m - 30 = 40. Let z be (-7 - 0)/(((-20)/8)/(-5)). Is m >= z?
True
Let g(k) = -23 + 27*k - 30*k + 2. Let v be g(-7). Is v < 0?
False
Let i(d) = -d - 3. Let n be i(-5). Suppose 0 = 3*q - 9, 0*q - n*q - 33 = -r. Let a = 119/3 - r. Which is greater: -4 or a?
a
Let g = 17 - 16.98. Let m = -1.32 + g. Let f = -3.3 - m. Is -1 at most as big as f?
False
Let y = 9 + -11. Let b = -0.3 - 0. Let f = b + 0.1. Which is smaller: f or y?
y
Let m = 3.77 + -3.59. Which is smaller: -9 or m?
-9
Let y(i) = -i - 28. Let r be y(-33). Is 1/7 greater than or equal to r?
False
Let q = -240/78437 + 46652822/1763185323. Let z = q + 4/381. Which is smaller: z or 1?
z
Suppose 2*b - 17 = -2*c + 5*b, -20 = 4*b. Let n = -159 + 160.98. Let i = n + -2. Is c at least as big as i?
True
Let q be 3 + (3 - 6656/1108). Are q and 0 nonequal?
True
Let c(a) = -9*a + 5 - 2 + 7*a. Let z be c(0). Suppose -4*g = -p + 8, -3 = p + z*g + 3. Is 2/3 at most p?
False
Let y = -366 - -348. Are y and -123/7 equal?
False
Let m be ((-2)/(-10))/(4/(-10)). Let h(j) = j**2 - 31*j - 1652. Let o be h(-28). Is m bigger than o?
False
Let g = 54 + -20. Let z = -0.1 + 35.1. Let n = g - z. Which is smaller: n or 29?
n
Let o = -314 - -287. Which is greater: -137/5 or o?
o
Let c = 36 + -1474/41. Let y = -36 + 37. Let n = y + -2. Are n and c non-equal?
True
Let a = 13 + -19. Let j(l) = l**3 + 5*l**2 - 5*l + 5. Let y be j(a). Which is smaller: y or -2/39?
y
Suppose -i + 2 = 0, 4*r - 2 = -2*i - 6. Let x = -91 + 58. Let w = x - -65/2. Which is smaller: r or w?
r
Let x be 82/287 - 890/(-14)*3. Are 190 and x non-equal?
True
Let y be (-9)/(0 - 3) + -1. Suppose -i - y = -d, -5 - 1 = -4*d + 2*i. Let r be 5/50*(-15)/6. Which is greater: r or d?
d
Let o = -0.3 + 1.3. Let a be 3/(-15)*1 - (-2284)/(-30). Let p = a + 75. Is o bigger than p?
True
Let b = 59/23 - -185/161. Which is bigger: 3 or b?
b
Let s(t) = t**3 - 9*t**2 + 9*t - 5. Let r be s(8). Suppose r*f = -4*f. Let a = 2 - 3. Is f > a?
True
Let f be 9/(-15) - (-69)/15. Suppose 4*x - 19 = x - 2*b, 2*x = -5*b + 20. Suppose 5*i + 40 = -x*s, i - 4*s = -2 + f. Are i and -2 unequal?
True
Let g = -109 + 109. Which is smaller: -1/144 or g?
-1/144
Suppose 1269 = -415*b + 424*b. Is 421/3 smaller than b?
True
Let j = 1069 - 1075. Let q = -0.2 - 0. Is j greater than or equal to q?
False
Suppose 0 = -0*y + 3*y + 3, -4*v - 5*y - 21 = 0. Let z be v/(-2) - (9 + -15). Suppose 2*r + 3*h + 5 = 3, r + 5*h + z = 0. Are 3/5 and r unequal?
True
Let w(v) = v + 13. Let o be w(-9). Let b be ((-14)/(-21))/(1/15). Let x be (16/(-140))/(o/b). Are 4 and x unequal?
True
Suppose -4 = -5*o + 2*c + 4, -5*o + 5*c = -20. Is o greater than -4/157?
True
Suppose 804*g - 805*g = -42. Is 1 greater than g?
False
Let y = -366 + 363. Is y greater than -10?
True
Suppose 2*o = u - 0*u - 3, -15 = -5*u - 4*o. Suppose 0 = u*t - 11*t. Which is smaller: -4 or t?
-4
Suppose -5*j = v - 21, 0 = 5*j - 8*j - 5*v + 17. Suppose j*b = 3*b - 8. Let r be 1/4 + (-62)/b. Which is greater: r or 9?
9
Suppose -7*n - 10*n = 204. Is n greater than -13?
True
Let g = -1 - -6. Suppose -g*u - 4*l = -9*u - 8, 5*u + 3*l + 2 = 0. Is -1/25 != u?
True
Let v = 12 - 5. Suppose -v = -0*d - d + 4*l, -2*l + 4 = 2*d. Let g(n) = -n**3 + 10*n**2 - 9*n + 2. Let y be g(9). Which is smaller: d or y?
y
Let h = 1.1561 - 0.2231. Let o = h - -0.067. Which is greater: 16 or o?
16
Let n(w) = -4*w**3 - w. Let d(i) = -i**2 - 5*i + 5. Let f be d(-6). Let j be n(f). Suppose -12 - 13 = j*r. Which is smaller: r or -1?
r
Let a be -2 - (-3)/2*(-4010)/(-3030). Is a less than 1?
True
Let p(s) = s**3 - 3*s**2 - 6*s - 6. Let q be p(5). Let t = q - 6. Suppose -t*r = -4*r. Which is smaller: r or 1/21?
r
Let i = -0.1 - -0.1. Let j be (-13)/(195/(-10)) - 4/(-70). Let s = j - 2/35. Which is smaller: s or i?
i
Let c be (-310)/234 + (2 - 0). Let i = 3/383 - 734/44811. Let u = c + i. Which is smaller: 1 or u?
u
Let m be -5*-1*12/(-150). Is m <= -2/1545?
True
Let z(j) = -8*j - 1. Let h be z(-1). Let b = -3108 + 3112. Is b smaller than h?
True
Let w = -20/193 + -113/772. Is w <= 43?
True
Let i = 293/204765 - -2/803. Let v = -31/255 + i. Let y be 1/(-3) + 2/6. Is v equal to y?
False
Suppose 4*z + 10*z + 28 = 0. Is 34 at least z?
True
Let v = -53 + 54. Suppose 0 = -5*u + i - 14, v = -u - 4*i + 15. Suppose -f - 2*z - z - 7 = 0, 1 = -4*f - 3*z. Which is smaller: f or u?
u
Let t(q) = -q**2 - 24*q + 76. Let g be t(-44). Is g at most -805?
False
Suppose 5*f - 13 = -s + 3*f, 4*s - 2*f = 12. Let k = -6 + s. Is k smaller than -1/70?
True
Let r(u) = -u - 3. Suppose 4 = -4*y - 4*w, -28 = 4*y - 0*w - 2*w. Let v be r(y). Suppose 5*c - 4*l - 59 = -19, -v*c - 3*l = -39. Which is smaller: 11 or c?
11
Let q = -116.1 - -15.1. Which is smaller: 2 or q?
q
Let j = -0.86 + 0.8. Let t = -19986 + 19987. Which is smaller: t or j?
j
Let u = 1028/7 + -148. Which is smaller: u or -1?
u
Let l be (-50)/(-125) + (-512)/5. Let b = l + 101. Which is greater: b or -1/22?
-1/22
Suppose -5*t = 3*h - 100, 2*h = -3*t + 2*t + 27. Suppose z = 4*b + 29, -3*z + t = 8*b - 6*b. Are z and 10 non-equal?
True
Let t = 0.13 - -33.47. Let j = 0.93 + 33.07. Let o = j - t. Which is greater: 1 or o?
1
Suppose -2*x - x = -5*x. Suppose x = 4*g - 12 + 8. Let y = 0 + 0. Is y != 