values?
True
Let o be (-320)/(-372)*12/16. Is 1 >= o?
True
Suppose k - 4*k = 0. Suppose 5 = 3*p + 23. Let w be (-1)/p*(-5 + 7). Is w bigger than k?
True
Let y = -48374/35 + 1382. Let k = 38482316/385 + -99954. Let g = k - y. Which is smaller: 1 or g?
g
Suppose -8*w - 22 = 2. Which is smaller: -21/5 or w?
-21/5
Let b be ((-8)/(-7))/(4 - 182/49). Let w = -17 - -28. Which is bigger: w or b?
w
Let p = 166976/7 - 23508. Let r = 345 - p. Which is greater: -2 or r?
r
Let t be (3 - 7)/(0 - 2). Suppose 0 = -i + t*i + 1. Let v be 0 - (i - (-4)/2). Is v <= -1?
True
Let h = 2 + 12. Suppose w = 6*w - 1300. Let a be 4/26 + w/507. Which is greater: a or h?
h
Let o = 123 - 112. Which is greater: 81/8 or o?
o
Suppose 4*r - 6 = 2*r, 24 = 3*v + 4*r. Let c be -6*(20/8 - v). Which is bigger: 4 or c?
c
Let s be ((-3)/47)/((-24)/16). Let i(t) = t**3 + 2*t**2 - t - 2. Let p be i(-1). Which is greater: p or s?
s
Let o be -3*(-5256)/135*(-5)/(-2). Are 292 and o equal?
True
Let x = 211.3 - 245.43. Let w = -34 - x. Let c = 0.07 + w. Which is bigger: -0.1 or c?
c
Let h = -16.2 + 16. Suppose 3*u - m - m - 1 = 0, -u = -2*m - 3. Let k be (-1)/(-2 + u - 2). Which is bigger: k or h?
k
Let l = 460/767 - -10/59. Is -11/5 >= l?
False
Let l = -8 - -18. Let v be 8/12*(-6)/l. Are v and -1 nonequal?
True
Let d = 292.59 - 292. Is d not equal to 1/2?
True
Suppose -3*r + 2 + 1 = 3*c, r = 3*c + 13. Suppose 3*l = 7 + 11. Suppose 3*f - 4*f + 2*m = -l, -30 = 5*f + 2*m. Which is smaller: f or c?
f
Let b = 0.071 + -3.011. Let n = -3 - b. Let a = n - -2.06. Is 1 at most as big as a?
True
Let r = -3.48 + 3.5. Is -3 greater than r?
False
Let y = 13863/20 - 693. Let z(d) = 2*d**3 - 15*d**2 - 3*d - 17. Let v be z(8). Suppose -a - 24 = -v. Which is smaller: a or y?
a
Let q = -0.019 + 4.419. Let m = -2.4 + q. Which is smaller: -7 or m?
-7
Suppose 0 = 31*d - 21*d. Which is smaller: d or -6/125?
-6/125
Suppose 7*j + 6 = 10*j. Suppose j = 5*w + 7. Is -0.043 >= w?
True
Let b = -28 + 21. Let q be 1/(-2)*(-14)/b. Which is bigger: 16 or q?
16
Let k(m) be the third derivative of m**6/120 - m**5/10 + m**4/6 + 2*m**3/3 + m**2. Let s be k(5). Let h = 254 + -2792/11. Which is smaller: h or s?
s
Let z be (-1701)/(-2079) + -1*(-4)/22. Is 4/433 less than or equal to z?
True
Let u = 121 - 115. Let o be 1300/(-2301) + 4/u. Is 0 less than o?
True
Let s = 87.834 + 0.166. Let o = s - 88. Let r = 1132/681 - -1/227. Are o and r non-equal?
True
Suppose -4*u + 13 = x, 3*u - 9 - 18 = 5*x. Is x < -1/3?
True
Let d = -11.67 - -10.67. Which is smaller: 7.51 or d?
d
Let d = 1405 + -1404. Which is greater: -2/859 or d?
d
Let c = -230 - -230. Let g = -10315/21 + 491. Which is smaller: c or g?
g
Let g be 6 + (-86)/(-42)*-3. Is g equal to -1?
False
Suppose -b - 24 = 7*b. Let m be b - (-10)/4*4. Is 6 <= m?
True
Suppose 4*a = -3*u + 32, 4*a = 6*a + 4*u - 26. Suppose b = 2*c, c + 4*b + 4 = a*c. Do c and -6/5 have the same value?
False
Let a = -6026/11 + 548. Let r be ((-5)/25)/((-4)/(-10)). Is a >= r?
True
Let i be (-28)/(-120) + 9/54. Is -223/3 at most i?
True
Suppose 0 = 49*i - 40*i. Is i at least 14/57?
False
Let l = -0.62 - 0.08. Let v = -1.9 + l. Which is smaller: 0.1 or v?
v
Let q(m) = -m. Let l be q(4). Let i = -1 - l. Let k = i + -5. Is k less than or equal to -7/3?
False
Let b = 1623/5 - 1812/5. Which is smaller: 0.1 or b?
b
Let g = 501 - 503. Which is greater: -0.075 or g?
-0.075
Let p = -9.9 - -9. Let u = -0.7 - p. Let f = 0.0409 + 4.9591. Is u less than f?
True
Let z = 45285 - 225278/5. Let n = 226 - z. Suppose 0 = 4*r + 2*d + 12 + 2, -2*d = r + 8. Is n at most r?
True
Let b = -13049/19 + 687. Suppose -5*t + 4*t - 4*t = 0. Are b and t unequal?
True
Suppose 0 = -c - 5*m - 3, c - 5*m - 10 = 7. Let v be c*(-1 + 0/4). Which is bigger: -9 or v?
v
Suppose k = 3*l - 4*k - 25, 4*l - 10 = 2*k. Does l = -40?
False
Suppose -2 = 2*k + 2. Let x be 1/k*(-14)/(-7). Let m = 195/88 + -17/8. Is m not equal to x?
True
Let k = 3793/233640 + -3/440. Which is smaller: k or 0?
0
Let a be -1*(4 + -3) - 6. Let n = a + 25. Let l = n + -21. Which is bigger: -1 or l?
-1
Let t(w) = -w**3 - 15*w**2 - 4*w - 15. Let p be t(-15). Let n = 45 - p. Do n and -17 have the same value?
False
Let h = -46 + 66. Let r be (8/h)/((3/(-3))/(-10)). Which is greater: 15/4 or r?
r
Suppose -9*f + 8*f + 4 = 0. Let r be (-224)/684 - f/(-18). Which is greater: r or 1?
1
Let w be (-2)/((-68)/(-20) - 3). Let q = 5 + w. Suppose 2*d - 5*d = q. Which is smaller: -2 or d?
-2
Let m be 3/(-1)*(8 + 75/(-9))*-1. Let z = 80991/89 + -910. Which is smaller: m or z?
m
Let q(w) = w**3 - w**2 + 4*w + 125. Let p be q(0). Suppose 3*h - x - p = x, 5*h + x = 191. Is h less than 38?
False
Suppose 0 = -50*v + 57*v + 14. Which is bigger: v or -5/9?
-5/9
Let v = 160 - 161. Which is bigger: v or 4/11?
4/11
Let h = 0.039 - 30.039. Let z = 51 + h. Let c = z - 11. Which is bigger: c or 2?
c
Suppose -l + 143 = 38. Suppose 3*z + l = -i - 2*i, 0 = 3*z - 15. Let s be 12/i*5/12. Is s less than 1?
True
Suppose 6*u = 1738 - 1732. Is u greater than -3/2006?
True
Let x = 9 + -6. Suppose -x*o - o = -8. Suppose -o*n = 2, -19 = 4*h - 4*n + 3*n. Do h and -5 have different values?
False
Let y = 0.7 + -0.6. Let j = -7.9 - y. Let h = 7.8 + j. Is h at most as big as 5?
True
Let w(m) = -m**2 - 20*m - 12. Let b be w(-17). Let j be (-26)/b - (-8)/(-6). Which is greater: j or -2/5?
-2/5
Let o be ((-132)/55)/(-12)*2/(-895). Is 1 less than o?
False
Let l = 40 - 38. Let h be (5 - l) + 14/(-7). Let v = 70 - 489/7. Which is greater: h or v?
h
Let k = -0.18 - -0.28. Let n = 3.9 + 22.1. Let f = n + -26.08. Which is smaller: k or f?
f
Let j = 0.43 + -0.03. Let n = j - 0.43. Let t be 4/46 - (0 + 210/(-230)). Is n equal to t?
False
Let a(x) = -23*x + 26. Let u be a(19). Is -411 at most u?
True
Let s(f) = f**3 - 4*f**2 + 4*f - 3. Let t(m) = -m**3 - 3*m**2 + 7*m - 12. Let i be t(-5). Let a be s(i). Which is smaller: 2/145 or a?
a
Let d(s) = -4*s - 9. Let g be d(-3). Suppose 3*x + 25 = -5*a, 0 = 4*x + 7*a - g*a + 20. Is 2 at least as big as x?
True
Suppose 0*f = -4*f. Let n be -2 - ((-147)/(-150))/(3/(-6)). Which is smaller: n or f?
n
Let k(r) = r**2 - 6*r - 14. Let q be k(9). Suppose -110 = 6*z - 2*z + 5*i, -115 = 5*z - 5*i. Let p = z + q. Is p < -11?
True
Let v = 38 + -34. Suppose b = 5*b + v. Suppose 1 = x - 2*x. Is x less than b?
False
Let k = 5.2 - -9.8. Which is greater: k or 0.13?
k
Let w = -1088 - -1117. Let t = 5/7 + -3/14. Which is greater: w or t?
w
Let o(x) = x - 2. Let b be o(5). Suppose s = -4*s + 15, -45 = b*q - 5*s. Let m = 8 + q. Which is smaller: -9/5 or m?
m
Let s = -129 - -128. Which is smaller: s or -8/13?
s
Let x be 28/42*27/(-2). Suppose 3*u + 33 = -5*j, -2*u - 27 = -0*u + 5*j. Is x < u?
True
Suppose -j + 52 + 19 = 0. Is j smaller than 71?
False
Let o be 94/14 - (-1 + 40/56). Let h = 29/3 + -17/12. Is h at most o?
False
Let x = 146.8 - 3.8. Let g = 160 - x. Is 1 greater than g?
False
Let y(r) = 3*r**2 + 55*r - 100. Let x be y(-20). Which is smaller: 1/279 or x?
x
Let h = -0.43 - -0.47. Let z = 0 + 0.04. Let f = z - h. Is f less than or equal to 1/3?
True
Let s be 0/(-1) - 7/(-8). Let v = 2299 + -2299. Is s at most as big as v?
False
Let a(b) = b + 1. Let h be 2/12 - (-5)/6. Let f be a(h). Suppose 5*c - 5*j = 2*c + 19, 4*c - 2 = f*j. Is c greater than -2?
False
Let y = 2389553/362 - 6601. Is y at most as big as -1?
False
Let h = 15 + -35. Let s be 18/(-1)*h/8. Let o be (-10)/s + 56/9. Which is smaller: 7 or o?
o
Let q be 41 + 1/1 + 5. Which is greater: 49 or q?
49
Suppose -4*d = -3*z + 33 - 36, 0 = -d - z - 1. Let v = -7/30 - 1/60. Is v bigger than d?
False
Let k = 53 + -59. Let p = -19/6 - -11/3. Which is smaller: p or k?
k
Let l = -44006/9 + 4899. Which is bigger: 9 or l?
l
Suppose 0 = 8*h + 45 - 37. Let o = -2/1321 - 3925/25099. Which is smaller: h or o?
h
Suppose 4*u = 2*y + 16, 3*u - 20 + 3 = -y. Let t be (-3)/(-903)*-13*u. Let q = t - 3/43. Which is bigger: q or 0?
0
Let g(l) = 16*l**2 - 3*l + 1. Let x be g(2). Let a = -41 + x. Are 18 and a unequal?
False
Suppose -p = 4*y - 8 + 4, 2*p = 0. Suppose -16*g = -15*g - 14. Suppose -t - 6*t = g. Which is bigger: y or t?
y
Let d = 6 - 0. Let b be (4 - -80)*(-1)/1. Let i = -78 - b. Is i > d?
False
Let y = 0.2 - 1.2. Let n = -0.97 - 0.03. Let p = y - n. Is p great