than or equal to v?
False
Let s = -266 + 294.2. Let q = s + -28. Are -3 and q non-equal?
True
Let l(n) = n. Let g be l(2). Suppose g = -2*p + 3*p. Let w be (-4 - -2) + p/3. Is w less than 2?
True
Let w be (705/(-20))/((-3)/12). Is w > 138?
True
Let q = -21 + 18. Let t = 1.2 + q. Let g = -0.2 + t. Is g < 2/15?
True
Suppose -4*q + 40 = u, 0*u + 17 = q + 2*u. Let g = 14 - q. Let h(i) = i**3 - 5*i**2 + 3. Let w be h(g). Is 7 equal to w?
False
Let d = 8 + -7.4. Let m = 0.4 + d. Let a = m - 1. Which is greater: a or -1?
a
Let n be -190 - 128 - 2/((-2)/(-3)). Is -320 != n?
True
Let j = 5.4 - 26.4. Let p = -20.89 - j. Let l = 2.11 - p. Which is smaller: 1 or l?
1
Let f = 598161/7 + -85652. Let i = 115 + 85. Let j = i + f. Which is bigger: j or -2/3?
j
Let g(z) = z**2 - 6*z - 4. Let m be g(7). Suppose 4*h + m*k = -21, 2*h - 2*k + 0*k + 28 = 0. Let t = h - -10. Which is greater: t or 2/17?
t
Let y(u) = -5 + 2 + 1 - u - 4. Let g be y(-9). Suppose i + g = -8. Is -12 at most i?
True
Let i be (24/15 + 2)*65. Let x be i/(-448) - 57/(-133). Is 0 equal to x?
False
Let s be ((0/(-2))/(-3))/(-1*2). Is 10/21 less than s?
False
Let o = 77 + -139. Let t = o - -63. Which is smaller: t or 4?
t
Let i = 339 + -343. Suppose -12 = 2*v - 2. Is i not equal to v?
True
Let s(q) = 11*q**3 - 2*q**2 + q. Let p be s(1). Let j = -52/5 + p. Which is smaller: j or 5/6?
j
Suppose i = -11 + 14. Let s be ((-16)/24)/(i*2/(-9)). Is 1 not equal to s?
False
Let w = -1577.5 - -1577. Let i be (-4)/(-6) + 16/(-15). Are w and i unequal?
True
Let j(i) = 17*i - 51. Let s be j(3). Are 21/38 and s unequal?
True
Let s be (-34)/(-14)*1 - 2. Let y = 3713 + -3711. Which is bigger: s or y?
y
Let j be (4/24)/(-8 + (-1)/15). Which is smaller: 1 or j?
j
Let d = 27.237 - 0.237. Is 0.24 at most d?
True
Let c = -0.06 - 0. Is 10/11 greater than or equal to c?
True
Suppose 0 = -4*f + 2*u - 116 - 30, 5*u + 5 = 0. Let i = 44 + f. Is 8 at least as big as i?
True
Let u(j) be the first derivative of 273*j**2/2 - 8. Let g be u(-1). Let f be g/14 - (-6)/4. Is f greater than -18?
False
Let c(d) = 17*d**3 + 2*d**2 - 2*d + 2. Let w be c(-3). Let t = w + 6499/15. Let p = -1 - -2. Is t > p?
False
Let p = 421.78 + -398. Let q = p + -24. Let x = q - 0.08. Which is greater: -2/3 or x?
x
Let h = 143 - 191. Which is bigger: h or -0.1?
-0.1
Let v = -239407 - -676324838/2825. Let d = -2/113 - v. Is 0 greater than d?
True
Let g be 4*(-30)/(-72)*-8. Which is bigger: g or -0.2?
-0.2
Suppose 0*t - 139 = -4*t + 5*k, -3*t + 138 = 3*k. Do 39 and t have different values?
True
Let d = 73 + -273. Is d at least as big as -201?
True
Let d = 17 + -39. Let k = 2.551 + -2.651. Is d < k?
True
Let t = 6 - 4. Suppose -5*s - 3*r = 34, t*s = -r + 1 - 15. Suppose -32 = -2*w + 6*w. Is w greater than or equal to s?
True
Suppose -17*w = -12*w + 25. Which is smaller: -24 or w?
-24
Let l be (-27)/(-12) + -2*1. Let t = 0.087 - -0.833. Let j = -14.92 + t. Which is greater: j or l?
l
Let y be -6*(-4)/(-64)*-8. Suppose -5*d - 5*t + 10 = -0, 0 = -y*d + 5*t - 10. Which is greater: 0.1 or d?
0.1
Let j = 37 - 32. Suppose -4*v = -w, w + j*v - v = 0. Does w = -5?
False
Let l(x) = x**2 - 3*x. Suppose -3*d + 53 = 41. Let w be l(d). Are 4 and w nonequal?
False
Let y = -40 + 46. Suppose -h + y*h = -5. Which is smaller: h or 1/30?
h
Let p be 245/(-30) - (-3)/18. Let t(u) = u**2 + 5*u - 27. Let i be t(p). Suppose -10 - 10 = 5*l. Is i at least l?
True
Let t be (-24)/30*10/20. Which is smaller: 105/2 or t?
t
Let m be (-5 - 36/(-8))*1152/2. Is -288 bigger than m?
False
Let x be (2080/12)/(74/333). Are 781 and x non-equal?
True
Let j(h) = -4*h - 25 + 7*h - 2. Let r be j(14). Which is smaller: r or 16?
r
Suppose 1772*c - 1775*c = 3. Which is smaller: -2/1479 or c?
c
Let i = 724 - 724. Which is smaller: i or 2/1123?
i
Suppose 2*b + 143 = -3*b - o, 6 = -2*o. Let u be (-4 - (-9)/2)*(3 + 55). Let d = u + b. Is d less than or equal to -0.01?
False
Let w = 110 + -40. Let m = 76 - w. Is -7 < m?
True
Let z = 174.971 - 175. Which is smaller: -1/5 or z?
-1/5
Suppose -5*m = 4*h + 5, 12*m - 13*m - 1 = 5*h. Let k be ((-2)/(-65))/((-3)/(-90)). Let p = -93/143 + k. Which is greater: p or h?
p
Let a(y) = 7 + 2 - 2 + 4 - 2*y. Let j be a(4). Which is smaller: j or 22/7?
j
Let m = 114 + -53. Which is smaller: 64 or m?
m
Suppose -20*l + 26 = -46*l. Which is greater: l or 3/599?
3/599
Let i(k) be the third derivative of -k**4/8 + 19*k**3/6 + 29*k**2. Let x be i(7). Which is smaller: 0 or x?
x
Let x be 0/1 + 2 + -5. Let v = -9 - x. Let f be -2 - ((4 - 1) + v). Are -1 and f non-equal?
True
Let y = 38 + -36. Let v = -24 + y. Is v greater than or equal to -21?
False
Let r(d) = -2*d**3 - 7*d**2 - 4*d + 5. Let m be r(-4). Let a = 23900 - 23864. Is a greater than m?
False
Suppose 0 = -5*b - j + 5, 2*j + 2*j + 24 = 2*b. Suppose 0 = -b*l - 11 - 15. Which is smaller: -12 or l?
l
Let x = 15 + -7. Let a be (5/2)/(13/26). Suppose 4*u + 24 = -a*m, -m = -5*m - 16. Which is smaller: u or x?
u
Let c = -744 - -1335. Which is smaller: 592 or c?
c
Suppose -36 = b - 7*b. Suppose 5 = -4*g + b*g - m, -4*g - m = 5. Is g less than 0?
False
Let x(m) = -m**2 - 11*m - 7. Let g be x(-12). Are g and -15 equal?
False
Let c(u) = 2*u - 12. Suppose 3*x = 5*f - 37, -4*f + 15 = x - 18. Let a be c(f). Suppose -a*t - 53 = 3*d, -2*t - 2*d + 5*d - 49 = 0. Which is smaller: -18 or t?
-18
Suppose 570 = 24*m - 1230. Do m and 75 have different values?
False
Let u(w) = 7*w - 2. Let q be u(0). Let g(a) be the first derivative of a**3/3 - 3*a**2/2 + 2*a + 1. Let s be g(3). Which is bigger: s or q?
s
Let p(d) = -d**2 + d + 1. Let n(a) = a**2 - 6*a + 7. Let y(h) = -n(h) - 2*p(h). Let x be y(-5). Which is bigger: x or -9?
x
Let v be 6 + -7 - (-2 - 25). Let c be -2 + 74/v + -1. Is -2/11 > c?
False
Let u be (-3 - -1)/(8/(-26)). Suppose 2*s - 16 = -2*j, -10*j + 3*s + 32 = -5*j. Which is smaller: j or u?
u
Suppose 4*f = -0*f - 8. Let t be (32 - (4 - 0))*(-3)/(-12). Suppose t*u + 9 = -12. Is u at most as big as f?
True
Let x = -3 - -3.1. Let y = -1.005 - -0.015. Let f = 30.99 + y. Which is greater: f or x?
f
Let q be 268/(-276) + -7 + 8. Which is bigger: 1 or q?
1
Let y = 304.2 - 304. Which is smaller: y or -94?
-94
Let q = -73 + 35. Which is smaller: q or 0.07?
q
Let r be 504/(-87) - (-4 - 2). Is r < 0.2?
False
Let q be 1*2/6 + -1. Let i be (-2*4/96)/((-5)/(-10)). Is i greater than q?
True
Suppose -80*m + 15 = -75*m. Let v = -1103/5 + 225. Which is smaller: v or m?
m
Let x be (-145)/(-13) + 12/(-78). Suppose -x + 31 = 5*s. Suppose 0 = 3*m - 14 + 2. Is m less than or equal to s?
True
Let k = 7 + -5. Suppose k = 2*i + 4. Let t be 6/27 - (-5)/(90/(-22)). Is i <= t?
True
Let y = 0.9 + -1. Let p = 54.48 - 55. Let w = 0.5 + p. Are w and y unequal?
True
Suppose t - 4*x - 111 = -x, -x + 103 = t. Let b = t - 113. Which is bigger: -13 or b?
b
Suppose 22 = 4*v - 18. Suppose v*t - 8 = 2*t. Does 2 = t?
False
Let m be ((-12)/72)/((-25)/930). Which is smaller: m or 6?
6
Let r = 8895923/25 - 355378. Let u(z) = -114*z - 3. Let i be u(4). Let k = r + i. Which is bigger: k or 0?
0
Let u be -1 + -3 + 5 - 903/651. Which is greater: u or 0?
0
Let l be (-1032)/(-903) + 6722/(-14). Is l bigger than -476?
False
Let s be 5*(-21)/12 - (-2)/(-8). Which is smaller: -7 or s?
s
Let y(g) = 5*g**2 - 5. Let h be y(3). Let n be -4*5/h*(-1 - 1). Let v = -18889/155 + 609/5. Is n != v?
True
Let a = -29 - -17. Let c be ((-2)/(32/a))/(-3). Which is smaller: -15 or c?
-15
Let q(l) = 31*l + 154. Let o be q(-5). Let n = 3331/28 - 119. Is o at least n?
False
Let n = 380/1683 - 2/561. Which is greater: -5 or n?
n
Suppose 4*p + 0*m = -m, 3*m = -4*p + 8. Let h be 162/36*(-8)/6. Do h and p have different values?
True
Let v = 0.4 + -1.4. Let x = 5 + v. Is x smaller than -2/3?
False
Suppose 9*l - 4*l = 25. Suppose l*p = -0 + 5. Which is greater: p or -3/7?
p
Let j = 7 + -1. Let m = 6481/19 - 341. Let h = m + -23/38. Is j at least h?
True
Let y = -1021/2442 + -5/814. Which is greater: -1 or y?
y
Let j be 9/6*(11 + -3)/2. Let o = j - 5. Which is bigger: -1/6 or o?
o
Let h = 684 + -713. Are -29 and h non-equal?
False
Let i = -2 - -13. Let a = -4419 + 4419. Is a greater than i?
False
Let u = 244 - 245. Which is bigger: -260 or u?
u
Let q be 0 - 1 - (-34)/30. Let p = -12/43 + 118/731. Which is sm