is greater: j or -3/2?
j
Suppose 0 = -m + 2*h, -3*m - 2*m - h = 44. Let c = -10 - -14. Suppose -3*u = -j + u + 3, c*u = -4*j - 8. Do m and j have the same value?
False
Suppose l + 4*l = -6*l. Let o(n) = 3*n**2 - 6. Let v be o(-5). Let q be ((-10)/(-32))/(v/(-23)). Which is smaller: q or l?
q
Let y = -3114/5 - -614. Let q(t) = -2*t**2 - 26*t - 24. Let z be q(-12). Suppose 4*o - k + 26 + 5 = z, 3*k = 2*o + 13. Which is smaller: o or y?
y
Let h(q) = 420*q - 2937. Let w be h(7). Is 118/31 greater than w?
True
Suppose -11*o = -3*d + 105, -55*o + 59*o = 5*d - 347. Suppose 4*h - 271 = 49. Is d >= h?
False
Let b = 6 + 6. Let v(k) = 10*k**2 + 11*k + 4. Let o(w) = -10*w**2 - 12*w - 10. Let f(h) = 2*o(h) + 3*v(h). Let i be f(1). Is b at least i?
True
Let s(a) = -2*a**2 + 35*a + 57. Suppose -5*b + 110 = -5*h, 0 = 5*b + 5*h - 10 - 70. Let v be s(b). Which is smaller: v or -1/121?
-1/121
Let v = 532 - 571. Let n = -0.13 + 0.17. Let p = -0.04 + n. Which is bigger: v or p?
p
Let k(c) = c. Let p be k(2). Suppose -p*x = 2*h + 58, -2*x = 5*h + 106 + 33. Is -21 <= h?
False
Let p(l) = -24*l - 2120. Let j be p(-88). Let x(v) = -4*v. Let q be x(3). Which is bigger: q or j?
j
Let m(z) = 21*z**2 - 4*z + 4. Let j(h) = 3*h**2 - 10. Let x be j(-2). Let c be m(x). Is c at least 79?
True
Let n = -508464/31 + 16386. Is n greater than or equal to -16?
False
Suppose -13*c + 35*c - 2992 = 0. Let m = -197 + c. Let l be (-1 + 1 - 62) + 0. Which is smaller: l or m?
l
Let j be (-1990)/((-18)/135*3*(-6)/12). Does -9950 = j?
True
Suppose 1 = o + f, f - 66 = 4*o - 60. Which is bigger: 1/533 or o?
1/533
Let x = 194 + -195.23. Let g = 0.37 - x. Let v = g + -2.2. Do 4 and v have the same value?
False
Let i = -3.487 - -15.487. Which is bigger: -18/5 or i?
i
Suppose 5*w = 20 + 20. Suppose -m + w = -4*s + 3, s = 5*m - 25. Suppose -5*g = -3*u - 85, -2*u + s*g - 50 = -5*g. Which is smaller: -36 or u?
-36
Let q(p) = 86*p + 2. Let b be (3 - (-22)/(-6))/((-8)/12). Let l be q(b). Let n = l - 88. Are n and 4/3 unequal?
True
Let y = 1.47 + -59.47. Let l = -32 - y. Which is smaller: -2/5 or l?
-2/5
Let h = 3679 - 3087. Is 592 smaller than h?
False
Let s = -0.29 + -0.06. Let n = -0.12 - s. Let b = 0.17 - n. Is b smaller than 0?
True
Let c = 31 + -39. Let v = -24 + c. Let n = -46 - v. Are -14 and n nonequal?
False
Let i(w) = -27*w - 35. Let b be i(-4). Suppose -3*t + 10 = b. Let n be (1155/(-276))/(-5) + t/28. Are 1 and n nonequal?
True
Let m(p) = 2*p**2 + 12*p + 5. Let l be m(-6). Let f be l/15 - (-302)/3. Suppose 6*w - 41 + f = 0. Are w and -11 unequal?
True
Let b be (0 - -76)*7/(140/(-75)). Let g = b - -272. Do g and -11 have the same value?
False
Let f = 475 + -461.5. Let r = 0.63 - 0.53. Which is greater: r or f?
f
Let p be -1 + 131/2 - 60/40. Which is smaller: p or 432/7?
432/7
Let q = -338/1037 - -45/61. Let p = 4731/34 - 279/2. Let b = q + p. Which is smaller: 1 or b?
b
Let s(g) = -g**3 + 4*g**2 + 3*g + 12. Let j be s(5). Let k be 1 - (2 + (2 - j)). Which is smaller: 2/497 or k?
k
Suppose -5 = u, 2*k - 8*u + 5*u - 13 = 0. Let l be ((-4)/(-258))/k*78/962. Is 0 greater than l?
True
Suppose -4*g = 5*u - 11, 0 = 5*g - 3*u + 6*u - 4. Which is smaller: g or -3/1076?
g
Let a be ((-98)/42 + 4)*(-24)/(-340). Let l be 2/(-3) - (-22)/6. Let t = l + -4. Does a = t?
False
Suppose -2*x + k = 377, 3*x + 2*x - 3*k = -945. Suppose -2*p - 377 = q, 4*q = 6*p - 11*p - 947. Is p at least x?
False
Let z = 95416903201/10142184504 + -149/3790054. Let b = -22/669 + z. Which is greater: 9 or b?
b
Let o be 6/(-50)*2*-150*(-65)/(-2925). Let m = 9 + -17. Let s be (2 - m/(-3)) + 1. Is o smaller than s?
False
Let v = 159 + -143. Let n be (3 - v/4)*-33. Is n equal to 32?
False
Let w(c) = -6*c + 17. Let s be w(7). Let u = 23 + s. Let h be 2 + (-6 + 2)*(5 - 3). Which is greater: h or u?
u
Suppose 67*s - 10 = 16*s - 61. Is s >= 1/7039?
False
Let q = -64 + 61. Let i be (-160)/(-2) + q/3. Let c = -73 + i. Which is greater: c or 0?
c
Suppose 0 = 4*v, -2*k + k - v + 51 = 0. Let a = -4139 + 4130. Let z be (-1 - a/15) + k/240. Which is smaller: 1 or z?
z
Suppose 5*n + 260*a = 265*a, -n - 2*a = 3. Which is bigger: n or -1/1645?
-1/1645
Let w = -153183 - -1225471/8. Let t be 4/(-6) + (-4)/(-6). Is t < w?
True
Let h = -54.135 - -0.135. Let b = 18 + h. Let s = -19 - b. Is -1 smaller than s?
True
Let m = -4266 + 4260. Does m = 426?
False
Let d be (-1)/(-2) - (6 + 66/(-12)). Let a be (28/(-15))/(d + (-4)/(-6)). Suppose 2*t + 5 = -5*p, 20 = -5*p - 2*t + 3*t. Is p > a?
False
Let o(i) = -2*i**3 - 19*i**2 - 7*i + 13. Let m be o(-9). Let h(j) = j**2 + 5*j. Let u be h(m). Which is smaller: u or 1/105?
u
Suppose 98*n + 330 = 94*n - 5*r, 3*n = -3*r - 252. Which is greater: n or -93?
n
Let l be (9/(-30))/(-1 + 1143/(-45)). Is l greater than or equal to -1?
True
Let m = -17.997 - 0.003. Let a = m + -9. Let o = a + 41. Is o at most as big as 1?
False
Let d = 5.3 + -6. Suppose -285 = 342*g - 345*g. Let n = -191/2 + g. Are n and d non-equal?
True
Let d(s) = 2*s**2 + 53*s + 30. Let t be d(-26). Let q be (240/704)/((-1)/t). Is -1 less than or equal to q?
False
Let x = 2152 - 1794. Which is greater: -3/10 or x?
x
Let u = -4.864 + -1.419. Let o = 0.083 + u. Let d = o + 5.7. Is d bigger than 1?
False
Let y(q) = 3*q - 2. Let i be y(2). Suppose 0 = 5*o - i*o + 17. Let x = 24186 - 24196. Which is smaller: x or o?
o
Let q = -5285 + 5287.2. Is 0.9 at most as big as q?
True
Let r(s) = -s**3 - 74*s**2 - 160*s - 1096. Let y be r(-72). Suppose -2*a - 2*b = -8, 3*b + 0 - 15 = 0. Is y >= a?
True
Let a = -6.87 - 0.13. Let i = 8.25 - 15.15. Let w = a - i. Is w less than or equal to 0.03?
True
Let x(s) = -182*s**3 - 5*s + 16. Let w be x(4). Let t be (-6)/(-16) + w/288*3. Let o be 1*(-123 + (0 - -2)). Are o and t nonequal?
False
Let z = -31794/767 - -538/13. Let t be (9/2)/3 + -35 + 1932/56. Which is bigger: t or z?
t
Let d = -6868003897/828123275 + 18/28555975. Let a = 305/49 + d. Which is smaller: -2 or a?
a
Let v = 1.4 - -21.6. Let m = v - 43. Let d = m + 106. Is d not equal to 1?
True
Let q(a) = 48 + 54 - 94 - 11*a. Let n be q(3). Suppose 0*y = -2*x - 3*y - 55, 4*y + 81 = -3*x. Which is smaller: x or n?
n
Let c be (-2)/(-8)*-1 + 221/52. Let m(d) = d**3 - 7*d**2 - 7*d + 14. Let f be m(c). Let a = 88 + f. Which is greater: 27 or a?
27
Let f = 0.9691 + 1.0309. Are -22.4 and f unequal?
True
Suppose -2*f + 6339 = v - 85, v = f - 3218. Suppose 13*d - f = 595. Which is greater: d or 291?
d
Suppose 2*w - 3*w = 0. Suppose w = -3*z - z - 20. Let q be 730/(-120) + 0 + 1/(-4). Which is greater: z or q?
z
Let f = 32 + -19. Suppose -f*a + 133 = -881. Let i be (4/a)/((-22)/33). Is 0.07 greater than i?
True
Let k(w) = -w**3 - w**2 + 2*w + 6. Let c be k(-4). Suppose -25 = -7*h - c. Which is greater: h or -17/10?
-17/10
Suppose -j - d - 4 + 1 = 0, -4*j = -5*d + 48. Let m be (-665)/(-38)*(-28)/98. Which is smaller: m or j?
j
Let y be -2 + 0 + 26 + -23 - 10/(-50). Which is smaller: 18 or y?
y
Let g be (10/4)/(1/(-2)). Let d be 2/(-12)*(g - -9). Let q = -11/9 - d. Which is bigger: q or 0?
0
Let l(y) = 2*y - 780. Let d be l(16). Does -748 = d?
True
Let o = 177 + -173. Let y be (-4)/((-12)/9 - o/(-6)). Which is greater: y or 0?
y
Let s(f) = -f**2 + 18*f - 35. Let q be s(14). Let d be (1 - 15/q) + 4/(-14). Let o = -0.02 - -0.02. Is o > d?
False
Let j = -1227 - -532. Is 0.1 equal to j?
False
Let b(t) = -4*t**2 - 145*t + 158. Let w be b(-20). Are 1462 and w unequal?
True
Suppose -6*p + 7 = h, -16*p = 5*h - 15*p - 6. Which is smaller: h or 2/2653?
2/2653
Let v(j) = -3*j**2 - 12*j + 17. Let t be v(5). Let m = t + 117. Is m > -5/37?
False
Let a be (-3)/(-12) + (-695)/(-20). Let f be (-13)/39*1*a. Suppose 0 = -10*l - 99 - 21. Which is bigger: l or f?
f
Let l be (-2)/3 - (-2 + 1). Let y = -44434 + 44372. Is y bigger than l?
False
Let n be (98/4)/(21 + 888/(-42)). Let t = 328 - 499. Is t at most n?
False
Suppose 10*b = -8*b + 5*b. Suppose b = 6*d - d + 100. Is -19 greater than d?
True
Let u = -2.672 - -0.672. Which is smaller: -0.3 or u?
u
Let f = -31.1 - -31.2. Let d = -3.47 + -7.63. Which is bigger: d or f?
f
Let b = 31.6 + -161.6. Let s = b - -212. Is s equal to -1/2?
False
Suppose -13726 = -27*m + 1583. Suppose -3*k + k + 555 = -3*u, -3*u - 2*k - m = 0. Is -186 less than u?
False
Let q be 