aller than p?
False
Suppose 5*r - 3 = -4*j, 3*r + 4*j - 3 = j. Are r and -3/34 unequal?
True
Let z = -175632/5 - -35245. Let q = 119 - z. Let l = -2 + 3. Which is smaller: q or l?
q
Let l be 6/(-8)*(-2 - 82/(-42)). Is -1 < l?
True
Suppose 3*c = 15, 3*c = 2*z - 29 - 0. Suppose 0 = -z*k + 23*k. Which is greater: 1/42 or k?
1/42
Suppose -4 = -4*g + 2*n, -n = -2*g - 3*n + 14. Suppose g*j = -j - k + 2, 3 = 5*j + k. Is 2/17 < j?
True
Let f = 7 - -10. Suppose f = -5*g - 43. Let x be g/7 + (-2)/7. Is x < -3?
False
Let g = -2.4 + 2. Let d = g - 0. Is -1 != d?
True
Let a = -54 + 45.4. Let g = a - -0.6. Is g less than or equal to 1?
True
Suppose 2*o + 2*v - 32 = -o, 3*v = -3*o + 36. Let z be (-33)/5 - (-4)/(-10). Let y = o + z. Are y and 1/4 non-equal?
True
Let b = 0.014 + -0.014. Which is greater: -10 or b?
b
Let g be 1/2 - (-2)/4. Let a = 838/5 - 167. Which is smaller: a or g?
a
Let k be ((-27)/33 - -1) + 52/(-44). Let l = -797 - -32679/41. Is l not equal to k?
True
Suppose 0 = -4*o - 5*t + 2, 2*t = 2*o + 3*t + 2. Let u be ((o - -1)*1)/(-1). Let z be ((-2)/(-9))/(1 - 0). Is u >= z?
True
Let i be (-5072)/30 + 4/10. Let y = i + 171. Let o = -0.3 + 0.4. Which is smaller: o or y?
o
Suppose -6*f - 3*f = 9. Is f less than or equal to 0.52?
True
Suppose -30 = 4*d + 58. Let z = d + 36. Let h be z/(-12) - 4/(-6). Which is bigger: -1 or h?
h
Let v be 16/9 + 0 - 2. Let s(w) = -w**2 + 4*w**3 - w**2 - 4*w + 2 - 3*w**3. Let g be s(3). Which is bigger: g or v?
v
Let a = -4.01 - -4.2. Let m = -0.1 - -0.09. Let t = m - a. Which is smaller: t or -4/3?
-4/3
Let q(l) = -l**3 - 2*l**2 + 2*l - 1. Let i be q(-3). Suppose 12 = 2*z + i*g, -3*g + g = -4*z. Let v(o) = -o - 1. Let w be v(-3). Is z less than or equal to w?
True
Let g = 5.2505 + -0.1205. Let p = 0.13 - g. Which is greater: -1/3 or p?
-1/3
Let f(y) = y**3 + 13*y**2 + 13*y + 11. Let u be f(-12). Is u greater than -1?
False
Let i be (0 - -2)/((-4)/(-6)). Let x(d) = -6*d - 8. Let v be x(-2). Which is greater: v or i?
v
Suppose 4*n + n = 0. Is -1/19 less than or equal to n?
True
Let i(z) = -z**2 - 3*z + 5. Let m be i(-4). Let y be 3/4 + 19/(-20). Is m > y?
True
Let n = 5 + -51/10. Is n less than or equal to 0?
True
Let t be -2*(1 + 9/6). Let a(x) = x**3 - x**2 - x + 1. Let q(j) = -12*j**3 + 7*j**2 + 5*j - 6. Let o(y) = 5*a(y) + q(y). Let i be o(1). Which is bigger: i or t?
t
Let q(g) = -g**3 + 10*g**2 - 10*g + 2. Let o be q(9). Is o not equal to 1?
True
Suppose 0 = -8*z + 9 - 385. Are z and -47 nonequal?
False
Let h(q) = q**2 + 4*q + 3. Let r be h(-3). Let d = 15 - 14. Let y be (-3 + d)*7/(-182). Are r and y unequal?
True
Suppose -5*m + 2*m + 4*t + 19 = 0, -m + 2*t + 9 = 0. Which is smaller: m or -3/35?
-3/35
Let z = 1.2 - 0.5. Let k = -1 + z. Let d = k - -0.2. Which is greater: d or 1/3?
1/3
Let b = -151 - -152. Let z = 57/2 - 28. Do z and b have different values?
True
Let s = 17 + -24. Let y = s - -7. Which is bigger: y or 1/3?
1/3
Let f be ((-6125)/870)/(-7) + -1. Which is smaller: 0 or f?
0
Suppose 3*q - q - 5*v = -25, q - 2*v = -11. Let r(z) = -z**2 - 8*z + 1. Let a be r(-8). Let d = -3 - a. Is q greater than d?
False
Suppose 4*i - 6*i - 2*t = -136, 3*t - 68 = -i. Is i at least 67?
True
Let j = 111 - 162. Let w = 254/5 + j. Is w less than 0?
True
Let w = 877/7 + -125. Let u = w + 13/28. Which is smaller: u or 1?
u
Let g be 0/2 - (-2)/(-19). Let b be ((-12)/(-4) + -2)/(-1). Is g >= b?
True
Suppose j = -2*i - 0*j - 601, 293 = -i - 2*j. Let f = 3331/11 + i. Which is smaller: f or 0?
f
Suppose -9*f + 7*f = -6. Suppose 2*p - p = 3*r + 15, 5 = r + f*p. Which is greater: -3 or r?
-3
Let f(q) = q**3 + 2*q**2 - 8*q + 1. Let w be f(-4). Let n = 302/39 - 23/3. Which is smaller: n or w?
n
Let t = -431/7518 + 6/179. Are -0.1 and t unequal?
True
Let h be (-3 - -2)/((-3)/18). Let g be (2/h)/(6/12). Which is smaller: -7 or g?
-7
Suppose -u = -7 + 3. Let x = u - 2. Is -1 < x?
True
Let l = -708810211/695 + 1019871. Let s = l + 1/139. Is 0 at most s?
True
Suppose -12 + 2 = 3*i + r, -1 = i - 2*r. Let s = 3 + i. Let p be 1/(-4) - (2 + -2). Which is bigger: p or s?
s
Let h be 52/5 - (-4)/(-10). Let p be 15/h + 1/(-2). Let j(w) = w**2 - 6*w + 5. Let i be j(5). Which is smaller: i or p?
i
Suppose -g = -7*g - 7*g. Which is greater: 1/255 or g?
1/255
Let u = -5 - -12. Let a = u - 8. Let g = 6.3 - 6. Which is smaller: a or g?
a
Let u = -11 + -8. Suppose 5*p = -2*i - 21, 0 = -5*i - p - 63 - 24. Is u less than or equal to i?
True
Suppose -q + 5*q + 4 = 0. Is -1 less than or equal to q?
True
Let j be -8 + (-53)/(-7) - (-23)/21. Is 2 greater than j?
True
Suppose 3*r = 5*t - 351 + 21, -r + 247 = 4*t. Let v be 2/3 + (-1864)/(-30). Let a = v - t. Is a < 0?
True
Let b = -5 + 10. Suppose b*v + 21 = 16. Suppose 0 = 2*n + 3 + 3. Is v < n?
False
Let k = 2 - 2.1. Let h = -2 - -5. Let a = h + -3. Which is smaller: k or a?
k
Suppose -2*b + 2 + 0 = 0. Let y be -4 + (-214)/(-56) + (-2)/8. Are b and y equal?
False
Suppose -2*r - 5*h + 22 = 0, 4*h = -5*r - 1 + 22. Is -4 < r?
True
Let i(b) = b**2 - b. Let f be i(-1). Suppose p - 5*d = -f*p - 14, 6 = -p + 2*d. Let m be (p/(-6)*2)/(-1). Is m bigger than -0.1?
True
Let u = 0 + 0.3. Let x = 0.068 - -0.032. Which is bigger: x or u?
u
Let j(n) = -1 - n + 5 - 2. Let p be j(-4). Let y = p - 3. Is 3 < y?
False
Let r = -8 + 7. Is 2/15 greater than or equal to r?
True
Suppose 0 = 5*j + 97 - 7. Which is bigger: j or -17?
-17
Let g = 151 - 141. Which is bigger: -2 or g?
g
Let i be 6/33 + 13/(-11). Which is greater: 2 or i?
2
Suppose -4*y - 7 = k, -3*k - 2*k - 2*y + 19 = 0. Suppose 5 = -5*d - 5*z, 0 = -k*d - 4*z - 3 - 3. Let s(v) = -v**3 - 2*v**2. Let c be s(d). Is 0.4 less than c?
False
Let j(l) = l**2 - 3*l + 1. Let g be j(3). Let x be -3*(8/(-3))/4. Let q be x - 3 - (1 + -2). Which is bigger: q or g?
g
Let l be 2/((-2)/6*13). Let v be (-2 + (-46)/(-20))/((-102)/(-170)). Are v and l non-equal?
True
Let z = -31 - -30.5. Let c(n) = -n**2 - 5*n + 5. Let i be c(-6). Which is greater: z or i?
z
Let u(y) = y**2 + 5*y + 0*y**2 + 1 - 3*y. Let b be u(-2). Let x be (-3)/(-9)*3*-1. Which is smaller: x or b?
x
Let o = 19 - 15. Which is smaller: 3 or o?
3
Let f(c) = -5*c + 2. Let k be f(-2). Let p be 54/k + (-3)/2. Suppose -2*l = -p*l. Is 2/17 > l?
True
Let o be (-12)/(-15)*(58/4 + -2). Which is smaller: 9 or o?
9
Let q = 20 - 29. Let j = -7 - q. Is -3 >= j?
False
Suppose 6*h - h = -4*n + 2, 5*h = 2*n + 14. Suppose 0*c = 4*v - 3*c - 1, 3*v - 37 = -5*c. Which is smaller: v or h?
h
Let x = 89/324 + -2/81. Is x less than or equal to -17?
False
Suppose 0*r - 3*r + 9 = 0. Suppose -4 = p + r*p. Suppose o + 0*o = 0. Which is bigger: p or o?
o
Let a = 0 - -2. Let q(p) = 3*p**2 + p - 1. Let r be q(-1). Is a greater than or equal to r?
True
Let l = 0.87 + -1.07. Is l smaller than 3.8?
True
Suppose -8*m + 9 = -11*m. Which is greater: m or -2?
-2
Suppose 3*g + 3*r + 10 = g, -4*g - 20 = r. Let d(i) = -i**2 - 7*i - 6. Let x be d(g). Let h be x/(-12) - (-2)/24. Does 0 = h?
False
Let x be (-5)/(-6) - (-2)/4. Suppose -2*k - 8 = -7*l + 5*l, 3*l = 2*k + 13. Which is smaller: k or x?
k
Let a = -2 - -2.3. Let t = 147 - 145. Is a <= t?
True
Let w(x) = -x**2 - 10*x - 12. Let i be w(-9). Let h be (i + 0 + 3)*1. Is -1 >= h?
False
Let o be 4/14 + 50510/105. Let k = -491 + o. Let c = k - -28/3. Which is bigger: -0.2 or c?
-0.2
Let h(p) = p**2 + 2*p - 2. Let j be h(2). Let o = 10 - j. Is 3 at least as big as o?
False
Suppose 2 = 2*s + 12. Let t = s - -5. Let l = 10 + -28/3. Which is smaller: t or l?
t
Let s be (-2)/7*((-152)/96 + 1). Suppose 6*y - 3*y + 3 = 0. Which is smaller: y or s?
y
Let a = -2.15 - -1.75. Which is smaller: a or 1?
a
Let j = -5/48 - -15/16. Is 1 less than j?
False
Let w(f) = -5*f. Let a(c) = 4*c - 1. Let l(j) = 6*a(j) + 5*w(j). Let u be l(-9). Suppose u*z + 3 - 6 = 0. Are 2 and z unequal?
True
Let k be (-10)/15 - (-28)/6. Suppose 193 = -3*g + h - 3*h, -k*g - 5*h - 262 = 0. Let x be (g/98)/(6/(-7)). Is x greater than or equal to 2?
False
Suppose -2*y = 10, 0*p + 4*y = -3*p - 17. Let u be (-5 - -1) + -2*p. Which is smaller: u or -5?
u
Let k be (259/(-14))/(3/(-11)). Let b = -68 + k. Let v = 2 - 1. Which is smaller: b or v?
b
Let y(a) = 2*a. Let g be y(1). Let z be ((-3)/21)/(g/(-6)). Which is smaller: z or -0.2?
-0.2
Suppose 3*j + 3*j - 84