nd -1 nonequal?
True
Let d(o) = 13*o**2 - 5*o + 6. Let v be d(1). Suppose 34 + v = 3*q. Is q > 13?
True
Let r = -4 - -3.9. Suppose -2*t + 37 - 23 = 0. Is t at most r?
False
Let u(q) = q**3 + 10*q**2 + 8*q - 7. Let h be u(-9). Let n be 0/h*(-1)/2. Which is greater: n or 8/9?
8/9
Let g = 36 + -35. Let q be -1 - 4/g - -17. Which is smaller: 67/5 or q?
q
Suppose 5*o + 8 + 1 = 3*w, -3*o - 5*w + 15 = 0. Let f = -21621 - -129719/6. Which is smaller: f or o?
f
Let i(q) = -q**3 - 9*q**2 + 2*q + 14. Let n be i(-9). Which is bigger: n or 3?
3
Let y = -7 - -1. Let g(j) = -13*j**2 - 43*j - 7. Let u(n) = 9*n**2 + 29*n + 4. Let d(t) = 5*g(t) + 7*u(t). Let h be d(-6). Which is greater: h or y?
y
Let a be (8/(-10))/(1/(-5)). Let g be 1/(1*2/a). Suppose 0 = 2*f - f - g*r - 11, -2*f + 3*r + 17 = 0. Which is smaller: f or 1/5?
1/5
Suppose -418 + 427 = j. Which is bigger: j or 10?
10
Let i be (-2)/(-34)*(25/5 + 28870). Let g = i + -1699. Is 1 >= g?
True
Let h = 915 + -835. Is 80 greater than h?
False
Suppose -18*d - 277 = -23*d + 2*g, 12 = 3*g. Which is smaller: d or 9?
9
Let h(m) = m**3 - 5*m**2 - 10*m + 21. Let v be h(7). Is 48 at most as big as v?
True
Let b(s) = s**3 - 7*s**2 - 7*s - 9. Let m be b(8). Let a be (3 - 2)*(2 + m). Suppose 0 = 4*k - 1 - 3. Is a at least as big as k?
True
Let f = -10.4 + -1.6. Let d = f + 16. Let m = -2.2 + 2. Which is greater: d or m?
d
Let v = -525 - -522. Does -22/9 = v?
False
Let x = -365 + 485. Which is smaller: 121 or x?
x
Let j = -133 - -133. Is j at least as big as 1/7?
False
Let p(j) = j - 2. Let a be p(7). Let r = 77 - 37. Suppose 4*v - r = -5*q, 2*q = v - 0*q + 3. Is a != v?
False
Let z = 498 + -492. Which is greater: z or -2/5?
z
Let o(m) = 2*m**2 - 3*m + 5. Let p be o(2). Suppose 0 = p*t - 0*t. Which is smaller: -10/13 or t?
-10/13
Suppose -3*l + 3 = -4*i, 0*i + 4*i = 4*l - 4. Let k be (-12)/(-4) - 740/4. Let g be ((-4)/(-21))/(78/k). Are g and i equal?
False
Let t be 3 + -3 - 4/130. Let x be (-1)/(-2*3/6). Do t and x have the same value?
False
Let q = -235/1704 - 5/71. Let h = q + 11/24. Are h and -2/49 nonequal?
True
Let j = 1048 - 1047.81. Which is smaller: j or 10?
j
Let d be -73 + 83 + 712/(-70). Is 1 at most d?
False
Let u be (6/(-75))/(960/(-450)). Which is smaller: u or 0?
0
Suppose 2*i = s - 3, -2*s + s + 3 = 0. Which is bigger: i or -1/632?
i
Let t = 1969/2 - 1004. Let i be (-6)/(-18)*(762/(-12) + 3). Let w = t - i. Which is smaller: 0 or w?
0
Suppose -3*x = -4*v + 17, -4 + 8 = 4*x. Suppose -v*u - 98 + 38 = 0. Is u less than or equal to -34/3?
True
Let b = 0.25 + -0.09. Let w = -0.16 + b. Which is greater: -14 or w?
w
Let b = -14 - -13.72. Let y = b + -0.72. Are y and 7 nonequal?
True
Let z = 7.25 - 7. Let h = z + -0.15. Which is bigger: h or 2?
2
Let w(s) = s**3 + s**2 + 4*s - 43. Suppose 0 = -z + 13*z. Let d be w(z). Do -43 and d have the same value?
True
Suppose -s = 2*s + 18. Let y = s - -8. Suppose z = y*d - 0*z + 12, 2*z + 1 = -d. Does d = -5?
True
Let f = 1946/3 + -648. Which is greater: 0.094 or f?
f
Let p be -1 + (4 - 8) - 3. Suppose 0 = d + 2*k - 9, -2*k + 18 = 3*d + k. Suppose -5*y + 37 = -d*r, 5*r + 55 = -0*r + 5*y. Is r less than p?
True
Let q = 337/52 - 13/2. Suppose 7*t = 8*t - 1. Which is smaller: q or t?
q
Let x(o) = o**2 + o - 28. Let f be x(6). Let y be ((-14)/(-15)*-3)/(f/(-35)). Are 9 and y nonequal?
True
Let o = 188/595 + 10/119. Which is greater: o or 1/168?
o
Let y = -0.89 + 1.27. Let i(q) = -q. Let w be i(2). Is y at least as big as w?
True
Let c = -20 - -14. Let l = c + 11. Let n = -4 + l. Is 1/12 at least n?
False
Let k(z) = -z**3 - 2*z - 2. Let f(w) = -w**3 + 15*w**2 - 12*w - 29. Let m be f(14). Let u be k(m). Let y = 2303/13 + -177. Is u less than or equal to y?
False
Suppose 2*c - p + 3 = 0, 2*p = -3*p + 5. Let m be (c/(-5))/(192/(-80)). Which is smaller: -1 or m?
-1
Let x = -89 - -48. Which is bigger: -43 or x?
x
Suppose 3*a + 22 = 1. Let m = a - -7. Is m bigger than 1/30?
False
Let c be 44*-1*1/2. Let u be (-91)/77 + (-4)/c. Is u <= -2/59?
True
Let g be 27/(4 + -1) + -2. Let n = -2 + g. Suppose 0 = -5*z + 4*i - 17, -n*z - 22 = -3*i - 8. Which is smaller: z or 2/11?
z
Let i = -315 - -336. Which is greater: i or 23?
23
Let d be 5/(-4)*2 - -3. Let w = 1483/4 - 369. Is w smaller than d?
False
Let c = 877/9 - 875/9. Let w be (-3)/(-2) + -2 + 1. Is c smaller than w?
True
Suppose 5*v - 10 = -0*v. Suppose -v = 5*s - 7. Is s bigger than 3?
False
Suppose -860 = -127*b + 122*b. Are 172 and b equal?
True
Let f = -47 - -48. Suppose 3*u - 2 = f. Let l = -3/53 + 104/901. Is u > l?
True
Let d = 1 + 0. Suppose -4*u + 8 = 2*h, h = -2*h + 4*u - 38. Let t be h/28*(-5)/(120/(-32)). Which is smaller: t or d?
t
Let f(l) = l**2 - 14*l - 42. Let n be f(19). Suppose 0 = 4*p + 57 - n. Let a = 3 + -17. Are p and a non-equal?
True
Let d = 86645 - 1910633/22. Let g = -202 - d. Let w = -48 + 49. Is w at least as big as g?
True
Suppose 0 = -2*i - 2 + 4. Let d = 697 + -686. Which is greater: d or i?
d
Let p be -4 + (-20)/(-12) - (2 - 5). Which is smaller: 8/13 or p?
8/13
Let w = -46 - -49. Which is smaller: 6 or w?
w
Let m = 41 + -24. Do m and 20 have the same value?
False
Let g = -5 - -209/5. Let o = 19509/530 - g. Which is greater: o or 1?
1
Let y = 425 - 825. Is y equal to -402?
False
Let r(j) = -j**3 + 7*j**2 + 17*j. Let l be r(9). Let n be ((2/4)/(l/18))/1. Which is greater: 1/11 or n?
1/11
Suppose 3*f = 15 + 15. Let l(t) = t**3 - 9*t**2 - 10*t + 15. Let z be l(f). Suppose x + z = 4*x. Is 5 smaller than x?
False
Let s = 0.3 + -0.1. Let n = -114 - -109.2. Let t = n - s. Do t and -3 have the same value?
False
Let y be 4/(-10) + 23/(-5). Suppose 4*n = -3*v + n + 27, 0 = v - 4*n - 34. Let r be (-48)/v + 92/(-161). Which is bigger: y or r?
r
Let h be ((-2760)/(-54))/(-10) + 5. Is 81/2 greater than h?
True
Suppose 3*d = 3*o + 30, 8*d - d = -4*o + 37. Let t(j) = -5*j**2 - j. Let i be t(-1). Let s be ((-2)/i + -1)*-12. Is d not equal to s?
True
Let s = 3954/611 + -80/47. Is s < 4?
False
Let b = -651 - -955. Which is smaller: b or 305?
b
Suppose 0 = -442*p + 424*p + 72. Is p greater than -12/5?
True
Let r = 23 - 7. Let p = 361 - 361.1. Which is bigger: p or r?
r
Let z be (((-64)/244)/4)/((-104)/(-4)). Is z > -1?
True
Let b(j) = -2*j + 2. Let h be b(-4). Suppose -s - 17 = -2. Let a be 13 + (-5)/(s/(-6)). Which is bigger: h or a?
a
Let l = -613/5 + 28721/235. Which is greater: 0 or l?
0
Let l = 899/4 + -226. Let n = 45 + -223/5. Is n greater than l?
True
Let t = -1 + 4/3. Let a be (30/4)/((-3)/(-6)). Let p be (a + -3)/4 + -2. Is p bigger than t?
True
Let s = -55 - -55. Let m(p) = -p**3 + 3*p**2 + 5*p - 8. Let r be m(4). Is s bigger than r?
True
Suppose -2*q + 8 = -6. Let w(m) = -m**3 + 3*m**2 + 5*m - 8. Let t be w(3). Is t at least q?
True
Let v be 19/19 - (-2 + 197*-1). Let c be v/(-4375) + 4/14. Which is smaller: c or 1?
c
Let q = 1.0052 - 0.0052. Is q < -20?
False
Let v be (-225 + -33)*(-2)/(-4). Is -129 at most as big as v?
True
Suppose -4*z = -16, -5*s + 7*s + 3*z - 182 = 0. Is 91 at least s?
True
Suppose 5*o - 108 = 162. Let z = 63 - o. Is z greater than or equal to 8?
True
Let x(s) = 16*s - 186. Let b be x(0). Is b greater than or equal to -186?
True
Let j be ((-14)/(-56))/(2 - (-599)/4). Which is bigger: -1 or j?
j
Let a = 827 - 791. Which is smaller: 43 or a?
a
Let y(l) = 3*l - 2. Let j be y(3). Let v = j - -3/2. Does v = 9?
False
Let g = -2/37421 - 33716307/261947. Let z = g + 129. Which is smaller: z or -0.8?
-0.8
Let x be (-14)/63 + 58/18. Let c be x - -21*(-3)/24. Suppose -s = -0 - 1. Which is smaller: c or s?
c
Suppose -10*b = -12 + 2. Let a be (3/(-11))/(3/51). Let j = a + 681/154. Which is bigger: j or b?
b
Let j = -3.5 + 5. Let r = -1.9 + j. Is r < -1?
False
Let j = 81 - 65. Which is bigger: j or 13?
j
Let l = 2 + -3. Let z be (-1)/2*0/l. Suppose z*a - 10 = 5*a. Is -1/2 != a?
True
Let p = 179.41 - 1.41. Which is bigger: -0.1 or p?
p
Let y = 23/5 - 4. Let w be (-12)/15*5/(-2). Which is smaller: y or w?
y
Let l = 27 - 25. Suppose 4*h + 14 = -j, l*h + 3*h = 3*j - 26. Let z be 6/9 + j + -4. Which is smaller: z or -2?
-2
Let u be (-2)/(-4) + 5535/(-90). Which is smaller: u or -8?
u
Let c = 349 - 348. Which is bigger: c or -221?
c
Let m = 10673 - 10649. Let b = -6 + 31. Which is bigger: b or m?
b
Let 