nd 56 nonequal?
True
Let a be 65/((-650)/2360)*(-1)/(-2). Let q be 12/(-20) + (-592)/5. Is a less than or equal to q?
False
Let b = 264.9577 - -0.0423. Let a = 233 - b. Which is greater: a or 0.07?
0.07
Let j be (261/(-319))/(45/(-330)). Suppose 0 = s + 2 - 10. Suppose -3*f - s = -5*f. Which is bigger: f or j?
j
Let x = 137 - 2. Let i = 136 - x. Which is smaller: i or -2/77?
-2/77
Let r = 2/505 - -1004/1515. Is 387/5 >= r?
True
Let l(d) = 2*d**3 - 67*d**2 + 50*d + 34. Let a be l(33). Is 591 less than or equal to a?
True
Let x = 226 - 226.578. Let w = x + 0.478. Let s = 31.065 + -31. Which is smaller: w or s?
w
Let b be ((-4)/(-6))/((-16)/63). Let v(j) = 5*j**3 - 3*j - 2. Let s = 136 - 137. Let w be v(s). Which is smaller: w or b?
w
Let b(z) = z**3 + 7*z**2 + 10*z + 2. Let c be b(-5). Let j(k) = 3*k**3 - 10 - 2*k - c*k**3 + 9. Let h be j(-1). Which is greater: 1/32 or h?
1/32
Let x = 13605278 + -43332810946/3185. Let y = x - -2/245. Let a = 1131 + -1132. Which is smaller: y or a?
a
Let s = 150.617 - 547.702. Let j = s + -0.915. Which is bigger: j or -1?
-1
Suppose 84 = 3*g - 2*u, -4*g - 4*u + 54 + 78 = 0. Let j = 35 - g. Suppose -5*f + h = -87, 0*f - f = -j*h - 27. Does -1 = f?
False
Let d be (6 - 6) + 1 + (-2269)/11. Let b be 4/(-1)*(13325/(-20))/(-13). Let m = b - d. Which is smaller: -1 or m?
-1
Suppose -5*s = -2*s + 18. Let a(q) = 5*q - 89. Let j be a(18). Suppose 4*b + z = -11, -4*b - 5 = 2*z + j. Which is smaller: b or s?
s
Let t be (-10)/4 - ((-56)/(-16) - 4). Let x(m) = 7*m + 14. Let h be x(t). Is h != -6/37?
True
Let f(y) be the first derivative of y**3/3 + y + 1. Let u(n) = n**2 - 31. Let x(i) = 2*f(i) - u(i). Let t be x(0). Which is greater: 34 or t?
34
Let t(s) = s**3 + 140*s**2 + 267*s - 1239. Let q be t(-138). Let z = 76 - 54. Let i be 47/z + 4/(-8). Does i = q?
False
Suppose 8*f = f + 28. Suppose 0 = 2*a - b + 52, -7*a - 78 = -f*a + 3*b. Is a at least as big as -30?
True
Let t = -338.1396 + 0.1396. Is t equal to 2/9?
False
Let n = -4 - 55. Let q = -8495 - -8434. Let y = n - q. Is y > -17?
True
Let p be 12/(-18)*-3*(0 + 1). Suppose p*k - 1 = -1. Which is bigger: -28 or k?
k
Let c be (4 - 12) + 595/75. Suppose 6*i + 4 = 8*i. Let b = 2 - i. Is c at most b?
True
Let d = -98 + 98.2. Let y(q) = 18*q - 1. Let p be y(1). Let r = p + -17. Which is smaller: d or r?
r
Let d(r) = 2*r**2 + 11*r + 1. Let o be 5/(-2) - 4/8. Let b be d(o). Let h be (-2)/b*(-12)/(-6). Which is greater: 1/12 or h?
h
Let b be (-261)/90 - ((-61)/(-10) + -6). Which is greater: b or -1.08?
-1.08
Suppose 1217 + 7261 = -59*c - 22615. Is c smaller than -524?
True
Suppose 4*v + 17484 + 1064 = 4*p, -3*v = -5*p + 23173. Which is greater: 4633 or p?
4633
Let v be 12/2*(-22)/33*2. Suppose 2*o - 9 = -3*b, 6 = -2*o + 2*b - 0. Suppose -z + o = 6. Which is greater: v or z?
z
Let m = 13115 + -104983/8. Which is bigger: -0.1 or m?
-0.1
Let r = 166 - 413. Let k = 247.2 + r. Which is greater: -2/21 or k?
k
Let o be (6 - (6 - 1)) + 6. Let g = 27 - o. Suppose -2*w + g = -0*w. Is 3 less than w?
True
Suppose 2*l = l + 4. Suppose 4 - 2 = u + q, 3*u - l = -4*q. Let p be 1 + -3 + (2 - u). Do p and -1 have the same value?
False
Let r = 0.15 - -7.89. Let u = 7.8 - r. Let k = 0.11 + -1.11. Which is smaller: k or u?
k
Let q = 74335 - 1264075/17. Let a = q + 3862/153. Are 4 and a unequal?
True
Let s(x) = 3*x**3 - 3*x**2 - x + 2. Let j be s(1). Let h be j*4/(-26) + 540/468. Which is smaller: h or 5/29?
5/29
Let x(r) = 2*r**2 - 11*r - 14. Let q be x(7). Let m(t) = -2*t**2 + 9*t + 14. Let y be m(q). Do y and -23 have different values?
True
Suppose -5*v - 4*j = -9, -2*j + 21 = 5*v - j. Suppose -5*m + 3*g = -197, -2*m = v*g - 50 - 35. Suppose m*x - 50*x = 70. Is -9 <= x?
True
Let x be -3 + (-102)/(-36) + (-2566)/12. Let z be (24/18)/(6/(-963)). Is x >= z?
True
Let h be -72*-1*(-4)/30. Let l = 689 + -686. Suppose l*j + 6 = 0, -53*d - 53 = -48*d + 4*j. Are d and h nonequal?
True
Let s be (-21)/(-10) + 2*-1. Let r = 17464.97 + -17465. Which is greater: r or s?
s
Let p = 87709070/906373 + -4/69721. Which is greater: p or 96?
p
Let p(l) = l**3 - 8*l**2 + 13*l - 2. Let t be p(6). Let n be 1*(t/2)/2. Suppose 0*s + n = s. Which is smaller: 1/6 or s?
1/6
Let t = -4939 - -3930. Is -1007 smaller than t?
False
Let a(c) be the first derivative of -2*c**3/3 + 8*c**2 - 16*c + 1. Let v be (6/1 + 1)/1. Let m be a(v). Which is smaller: -7/5 or m?
m
Suppose 2*k + 21 = 3*w, -5 = 13*w - 14*w. Let c(m) = m - 6. Let t be c(6). Let j be (t + k)*147/(-9). Is j at most 50?
True
Suppose 0 = 29*k - 38*k - 90. Let z be 288/k - 24/(-30). Which is greater: -10 or z?
-10
Let r = -617 + 617. Suppose -62*z - b = -65*z - 339, r = b. Which is smaller: z or -111?
z
Let t = 5593 + -5600. Is 1916 != t?
True
Let a(z) = -z**3 - z**2 + z + 39. Let n be a(0). Suppose 12207*j - 14227 = 11860*j. Are n and j non-equal?
True
Let y be (-6)/(-15)*(-225)/15930. Is y less than or equal to -1?
False
Let p(d) = 23*d**2 + d + 1. Let u be p(-1). Suppose -18 = a - u. Let w = a - 14/3. Is -1 less than or equal to w?
True
Suppose 2*b = -2*b + 104. Let i be 13/b*(-1)/2. Let c = -3905.971 + 3906. Is i smaller than c?
True
Let j = 1829.2 + -244.2. Which is smaller: j or 1/3?
1/3
Let l(a) = -2*a**2 + 20*a - 25. Let o be l(8). Let f be ((-260)/91)/((-3)/o). Is f <= 8?
True
Let n = 362 + -203. Let b = 157 - n. Is 3/32 < b?
False
Let i(b) = 18*b**2 + 39*b + 68. Let v be i(-3). Do v and 18 have the same value?
False
Let k be (-4 + -1)*-12 + (-20)/5. Suppose k*p = 57*p - 8. Let q = -24 - p. Which is bigger: q or -1?
-1
Let p = -6590/7 + 30024019/31892. Which is smaller: p or 1?
p
Let n be 6/(-18 + 22 + 5/(-2)). Let v be n - (1/2)/((-5)/(-80)). Which is greater: v or -17?
v
Suppose 0*f + 3*f - 21 = 0. Let s = 6000 + -5998. Suppose 4*r = -w - 15, 0 = s*r - f*r - 5*w - 15. Which is greater: 8 or r?
8
Let p = 63 + -62.77. Let x = -0.13 + p. Which is greater: x or 17?
17
Suppose -656*l + 339*l = -351*l - 52020. Which is smaller: -1528 or l?
l
Let k = -0.11 + -46.89. Let z = k - -44. Is -1/4 >= z?
True
Suppose 0 = 48*w - 20214 + 82566. Which is greater: -1293 or w?
-1293
Suppose 623 = 3*h - 4*u, -h - 21 + 214 = -5*u. Suppose -k - 4*q = 4*k - h, -q = 3*k - 125. Suppose m - 34 = 3*z, -5*m - 46 = -5*z - 236. Are k and m equal?
False
Let w(h) = -h**2 - 6*h + 3. Let m be w(-6). Let z = -33.8463 - -0.8463. Is z at most m?
True
Let b(o) = -18*o - 1. Let w be b(1). Let v = w + 25. Suppose -n = g + v, -2*n + n + 21 = -2*g. Does g = -9?
True
Suppose 2*v - 2*g + 24 = -124, 148 = -2*v + 3*g. Let y = v - -77. Let b be y/5 - 537/(-5). Is 108 greater than b?
False
Let j be (21/5)/((-2547)/2264). Which is bigger: -4/7 or j?
-4/7
Let j = 0.16371 - -4.03629. Which is smaller: j or 149/5?
j
Let q = 23.2 - 31.47. Which is smaller: q or 2/7?
q
Let w(u) = u**3 - 11*u**2 - 7*u - 56. Let s be w(12). Suppose 3*r - 3*i = 6*r - 9, s*r - 4*i = -4. Which is greater: -2/433 or r?
r
Suppose k + 32 = -30. Let b be (2/8*k)/((-2)/4). Suppose -107 = -4*o - b. Is o < 17?
False
Let q be (-196)/(-175)*5 + 3. Let j be (-5)/1 - (3 + 1). Let r(k) = k**2 + 8*k. Let w be r(j). Is w less than or equal to q?
False
Let o = -2352 + 2852972/1213. Let s = 5104/76419 + o. Is 1 at least s?
True
Suppose 5*g + 470 = -55. Let f(h) = h**2 - 9*h - 44. Let s be f(12). Let o be ((7 + s)*104)/(1 + 0). Which is bigger: g or o?
o
Let u = 3488 + -3095. Is 396 at most u?
False
Let h be (-230 + -5)/(-5)*(2 - 1). Which is smaller: h or 0.035?
0.035
Let v be (-8)/(-10)*290/812. Is v < -758?
False
Let n be (8 + (-280)/21)/(4/(-6)). Suppose -3*x - 273 = -5*i, 7*i = n*i - 5*x - 59. Does 54 = i?
True
Let f be (-10168)/(-84196) + (-2)/56. Is 0 at most as big as f?
True
Suppose -7*x + 56 = -3*x. Suppose -11*t = 3*t - x. Which is smaller: t or -1/191?
-1/191
Suppose 35 = 5*m + 2*s + s, -3*m + 4*s + 21 = 0. Let u be 4 + -5 + (1 - -2). Let a be m/(-2) + 4 - 1/u. Which is bigger: -12 or a?
a
Suppose 2*i + 3*o - 79 = 0, 2*o - 4*o + 38 = i. Suppose 0 = -2*n - 28 + 110. Let d = n - i. Is -14/9 at least as big as d?
True
Let d = 51 - 41. Suppose -4*x + 14*p = d*p + 16, 0 = -p + 5. Which is bigger: 24 or x?
24
Let d = -11002 + 13103383/1191. Is d >= -1?
True
Let f be 129*88/1416*1 + -8. Is f less than -59?
False
Let b = -63 - -116. Let d = 106 - 