- 17 = -p. Is q greater than or equal to t?
True
Let t = 45 + -40. Which is greater: t or 1?
t
Suppose -5 = -5*z + 15. Is z < 5?
True
Let h be 1 - (0 - (-1 - 1)). Suppose -5*g - 4*n - 94 = -8, 3*g - 5*n + 59 = 0. Let f be (-4)/g - (-22)/(-18). Is f greater than h?
False
Let i be 7/((-1 + 3)/2). Suppose -v - i = 5*w, 3*v - 5*w - 1 + 2 = 0. Which is smaller: -1/2 or v?
v
Let i = -4.05 - -0.05. Let a = -0.05 - -1.05. Let j = i + a. Is j greater than -0.1?
False
Let c = -76 - -52. Let k = c - -12. Let g be (-2)/12*k/(-9). Is -2/3 at least g?
False
Let m(g) = 5 - g - 3*g**2 + 0*g**2 + g**3 - 2*g**2. Let z be m(5). Is z <= 3?
True
Let n be -1 + (-1)/(-3) + (-384)/(-360). Let a(t) = -t**2 - 6*t - 1. Let k(d) = d**2 + 5*d - 6. Let j be k(-5). Let c be a(j). Is c at least as big as n?
False
Let g be 7 + -6 + 0 + -1. Let d = -3 - g. Let f = 7/30 + 1/6. Which is greater: d or f?
f
Let c = 4561/720 - 1/720. Is 6 at most as big as c?
True
Let d = 0 + 2. Let f be (d - 1) + 31/(-29). Is 0 equal to f?
False
Let p = -27 + 29. Let m be 4/14 - 52/(-14). Suppose 2*g - 2 = -2*x + 6*x, -m = p*g + 2*x. Are g and -2/11 non-equal?
True
Let m be -3 - (2/5)/((-16)/110). Which is smaller: m or 16?
m
Let h = 3 - 1. Let k be (1/h + 1)*2. Suppose -3*d + 0 = -5*r - 6, k*r = -5*d + 10. Is -1 >= r?
False
Let m = 110 + -107. Is 28/13 greater than m?
False
Let b = -107/11 - -10. Suppose -3*p - 2*p = 0. Which is bigger: p or b?
b
Let r = -5 - -6. Is 2/3 smaller than r?
True
Let s(r) = -7*r - 4. Suppose 0 = -j + 1 + 5. Let b(d) = d. Let z(p) = j*b(p) + s(p). Let w be z(-5). Is w <= 1?
True
Suppose 13 = -5*i - m + 4, 4*m + 19 = -3*i. Is i equal to -2/13?
False
Let h be (-7)/(-2) + -2 - 1. Suppose -14 = -2*d - 4. Let p = d + -3. Which is greater: p or h?
p
Let r be (-7)/(-4) - (-6)/(-8). Let o = -103/3 - -35. Which is smaller: o or r?
o
Let b = 14 + -10. Suppose -4*v + 12 = 4*a, 0 = b*v - 0*v + 5*a - 15. Let c be (-32)/14 - 4/(-14). Is c >= v?
False
Let z = -57/122 - 2/61. Which is bigger: z or 4?
4
Let b be ((4/12)/1)/(-1). Which is smaller: b or -1/12?
b
Let w = -396/635 - -3/127. Is 6 not equal to w?
True
Let v be (2088 - 1 - 0)/5. Let q = 2173/5 - v. Let o = q + -17. Is o smaller than 1?
True
Suppose 40 = 2*n + 5*y, -32 - 66 = -3*n + 2*y. Let t = n + -21. Is t less than or equal to 9?
True
Let f = -2 + -15. Which is greater: 0 or f?
0
Let t(w) = w**3 + 9*w**2 + 1. Let h = -1 - 8. Let d be t(h). Which is smaller: d or 0?
0
Let f be 1/(-4) + 153/748. Let i = -7/61 + 382/671. Let x = f - i. Which is greater: 0 or x?
0
Let a be (-2)/1 + 88/40. Is a less than or equal to 2/29?
False
Let g = 27.1 + -27.6. Let p = -1 + 1. Which is smaller: p or g?
g
Let a(q) = 16*q**3 - 4*q**2 - 19*q + 19. Let g(j) = 3*j**3 - j**2 - 4*j + 4. Let c(d) = -2*a(d) + 11*g(d). Let n be c(4). Which is bigger: -9/7 or n?
-9/7
Let r = -6 + 6. Suppose 3*s - 2*t + 5*t + 504 = r, 0 = 3*s + 4*t + 505. Let d = 1835/11 + s. Is 1 < d?
False
Let r be (-2)/(-6)*(7 + -35). Do -8 and r have the same value?
False
Let z be ((-23)/138)/((-1)/3). Suppose -2*a + 18 = -5*i + i, -16 = -2*i - 4*a. Let v be 1 + 1*-3 - i. Which is greater: v or z?
z
Let r = -10 - -9.7. Which is bigger: r or -3/2?
r
Let a = -3598/32325 - -8/75. Which is bigger: a or -1?
a
Suppose 0 = -7*w + 8*w + 1. Does -1/58 = w?
False
Let w = 59 + -92. Which is bigger: -2/7 or w?
-2/7
Let k = 31 - 32. Let j be 1/(-13)*2 + 0. Are j and k nonequal?
True
Suppose i = -3*i - 252. Let y be (1/(-3))/(7/i). Is y <= 3?
True
Let r(k) = k**2 - 19*k + 48. Let h be r(18). Which is bigger: -1 or h?
h
Let w be (-5)/((-10)/(-4))*26/(-20). Which is smaller: 3 or w?
w
Suppose 0*m - 4 = m. Which is smaller: 1 or m?
m
Let w = 10 + -2. Is w smaller than 9?
True
Let p = 2/679 + -3407/4074. Which is greater: p or 0?
0
Let r be -4*(-1)/1*1. Let y be -1*-1*(r + -3). Which is bigger: -12 or y?
y
Let d = -4 + 6. Let f = -5 - -7. Suppose -f*c + 0 = -6. Is c at least as big as d?
True
Let p(g) = g**2 - 4*g - 5. Let n be p(5). Suppose -3*h + 53 = 4*q - 78, -2*q + 88 = 2*h. Let b be (-51)/h*-3 + -3. Which is smaller: b or n?
n
Suppose -a - 6 + 4 = 0, 3*j - 3*a - 18 = 0. Let y be 2*(-1)/2*-3. Let d = y - j. Is d at most as big as 0?
True
Let h = -1/709 + 70193/1418. Let y = h + -48. Which is smaller: y or 2?
y
Let g(p) = p - 8*p**2 + 0*p - 2*p**2 + 1. Let f be g(-1). Do -10 and f have the same value?
True
Let w(u) = u**3 + 2*u**2 + u - 1. Let m be w(2). Let s = m + -11. Is 6 >= s?
True
Let a = 20 - 34. Is a <= 1?
True
Let x = -376 + 377. Suppose -11 - 5 = 3*i - 5*u, -5*i + 4*u - 5 = 0. Let g be 0 - (0 - i/(-5)). Which is greater: g or x?
x
Let y(p) = p**3 + 3*p**2 - p - 2. Let t = -5 + 2. Let c be y(t). Let q = -17/132 + -4/33. Which is smaller: c or q?
q
Let p = -2.96 - -3. Let o = -1.2 - -2.2. Are p and o equal?
False
Suppose 8 = -w + 3*w. Suppose 0 = 2*v + 4*z - 22, w*v + 3*z + 0 = 19. Which is bigger: 3/7 or v?
v
Let x = 8125 - 11445. Let n be x/(-5544) + 4/(-18). Let i = n - 1/11. Is -1 greater than or equal to i?
False
Let y be (2/(-3))/((-4)/12). Let f(w) = w**3 + w + 3. Let l be f(0). Is y greater than l?
False
Let d = 3911/9 - 435. Is 0 smaller than d?
False
Suppose -3*h = 2*d - 8, 5*d - 1 = h + h. Let s = -2/85 + 97/510. Which is greater: s or d?
d
Let p = -17 - -5. Suppose 0 = -3*j, 3 + 1 = -t - 3*j. Let b be 2/t + p/8. Which is smaller: -3 or b?
-3
Suppose 3*n = 2*n + 2. Suppose 0*f + n*f = -10. Let u = f + 5. Is u <= 3/7?
True
Let p be (1/3 + -1)*-3. Suppose -4*v = -4*q + 12, -3*v - 6 + p = 2*q. Are v and -2 non-equal?
False
Let r(j) = -3*j - 15. Let b be r(0). Which is bigger: -4 or b?
-4
Let x(z) = -z**2 + 6*z - 1. Let u be x(6). Suppose b - 7 - 1 = 0. Let y = b + -10. Is u smaller than y?
False
Suppose -4*d + 3*r + 2*r + 14 = 0, 0 = -2*r - 4. Suppose 0 = -2*y - 0 + 6. Is d less than or equal to y?
True
Let h = 39 - 34. Which is bigger: h or -2?
h
Let d = -1 - -6. Suppose d*r - r = 0. Which is smaller: r or 2/3?
r
Let r = 3.093 + -0.093. Is -1/11 at least as big as r?
False
Let m be 3/(-14)*14/(-8). Let w(t) = -t**2 - 7*t - 13. Let z be w(-3). Is m != z?
True
Suppose 3*f + 2*f = -10. Which is greater: -1 or f?
-1
Let x be 4/8 - 68/56. Is x < -1?
False
Let x = 12 - 11.8. Which is smaller: -5 or x?
-5
Let t = 24 + -23.9. Which is smaller: 1.7 or t?
t
Let r be 4*1/6 - 4/6. Is 2/13 greater than r?
True
Let x(u) = u - 4. Let m be x(8). Let p(l) = 2*l**2 - 18*l + 6. Let r be p(9). Which is smaller: r or m?
m
Suppose 2*z = -4*d + 1 + 7, 3*z - 3 = -3*d. Suppose 2*h + 11 + 18 = d*o, -27 = -o + 5*h. Let a(x) = x - 5. Let m be a(o). Which is greater: 1 or m?
m
Let j be 2 + (-1)/((-3)/(-30)). Let p be 2*(1 + j/6). Which is smaller: 0 or p?
p
Let g(r) = r. Let n be g(3). Which is bigger: n or -3?
n
Let x = 40048/31 - 1292. Is x bigger than -1?
True
Let s be 1 + (-2 - (2 + -4)). Is s != -1/13?
True
Let b = -3419 - -44417/13. Which is greater: b or -2?
-2
Suppose 2*b = -3*b - 40. Is b bigger than -6?
False
Suppose 4*d = 7 + 1. Suppose -3*r = 5*j + 2*r, -3*j + d*r = 10. Let b be (1 + j/3)*-3. Is b < -2?
False
Let f = 15 + -9. Let m = f + 4. Which is smaller: 9 or m?
9
Suppose 61*h - 64*h - 12 = 0. Which is greater: h or -42/11?
-42/11
Let i be 2364/(-1185) - 20/(-10). Which is greater: i or 0?
i
Suppose -4 = -0*r - 2*r. Let i be 1 - 1/r*0. Let u be 18/(-8) - (-1 + -1). Which is bigger: u or i?
i
Suppose 5*x + 5*m = 5, 0 = 9*x - 5*x - 3*m - 4. Let d be x/((1 - 0)*-1). Which is smaller: -1/10 or d?
d
Let w(r) = -r**3 + 2*r**2 + 2*r + 4. Suppose 5*j - 40 = 5*x, 0 = -j + 3*x - 9 + 27. Let p be w(j). Let m be p/((-2)/(-6)) + -2. Which is smaller: m or -3/8?
-3/8
Let g be 4/(-16) + (-119)/4. Let p be (-10)/g*3/2. Which is smaller: 0 or p?
0
Suppose h = -0*h. Let f = 11 + -76/7. Which is bigger: f or h?
f
Let a be (-6)/4 + (-261)/18. Let c be -2 + -1 + (-42)/a. Which is bigger: -1 or c?
c
Let j = 41/204 - 2/17. Which is smaller: 0 or j?
0
Let n = 0 + 1. Suppose -8*o + 4*o + 4 = 0. Let p be (o/3)/(6/(-18)). Which is bigger: n or p?
n
Let j = -0.2 - 2.8. Let y = 3.06 + j. Let u = -3.06 + y. Which is bigger: u or 1?
1
Suppose 0 = -358*x + 355*x - 9. Which is smaller: -18/7 or x?
x
Suppose -4*j + 16 = -4*y, -4*j - 5*y + 4*y = 4. Is j smaller than 1/28?
True
Suppose -l - v = 4*l, -3*l + 22 = 5*v. Are -