p. Which is bigger: j or 0?
j
Suppose 111*d + 6 = 112*d. Are d and 15 non-equal?
True
Let z(k) = -11*k - 46. Let t be z(-8). Suppose 5*j + 32 = t. Are j and 3 unequal?
True
Suppose -6*g + 3*g = 0. Let u be (5 - g)*(-1)/(-5). Let b be 15/(-30) + 15/38. Which is greater: u or b?
u
Suppose 13*a = 4*a + 81. Which is bigger: a or 4?
a
Let r(m) = -1. Let y(f) = 8*f + 13. Let k(j) = 2*r(j) - y(j). Let o be k(-5). Suppose 3*a = -5*w - o, 0 = -a + w + 10 - 5. Which is smaller: a or -8/7?
-8/7
Suppose 27 = 4*k + 127. Let y be 2/(-5) - 610/k. Let v be (32/y)/(2/(-6)). Is -0.2 at least v?
True
Suppose 5*r - 5*m = 15, -m + 1 - 5 = 0. Which is greater: 7/29 or r?
7/29
Let w = -456631/24674469 + 1/45609. Which is bigger: -1 or w?
w
Let d = 19.53 - -0.47. Let h(t) = -t + 6. Let a be h(7). Is d less than a?
False
Let i(s) = -s**2 + 3*s + 3. Let q be i(4). Let r = 852604/77 - 76595/7. Let y = r + -131. Which is bigger: q or y?
y
Let r be (25/(-4))/((-5)/40). Let x be r/(-72) - (-4)/6. Which is greater: 1 or x?
1
Let q = 255 - 258. Which is smaller: -12 or q?
-12
Suppose -23*q = -9*q. Which is smaller: q or 5?
q
Let h = -36.25 - -58. Let p = h - 14. Let t = p - -0.25. Is t at most 1?
False
Suppose 2*a = 3*s + 6, -s - 9 = -3*a - 0. Are s and 2/91 non-equal?
True
Suppose -v - 57 + 0 = 0. Is -59 at least v?
False
Let s = 0.0627 + -19.0627. Do -27 and s have the same value?
False
Let m = -7396/1995 + -2/285. Let w(b) = 77*b + 1767. Let v be w(-23). Is m < v?
False
Let s = -13678 + 41032/3. Let i = -3 - -5. Suppose 1 = i*h + x - 1, -4*h + 3*x - 16 = 0. Are s and h equal?
False
Let q(x) = x**3 - 8*x**2 - 6*x - 9. Suppose 3*y - 12 = -3*r, -2*r = -7*r + 4*y + 65. Let w be q(r). Let a be 4/(-4) - (-10)/w. Which is greater: a or 0?
0
Let k be (-51 - -50)*(-1)/((-6)/(-4)). Let f = 19.87 - 20. Which is smaller: f or k?
f
Suppose 2*y = 3*l - 40 + 32, 4*l - 9 = y. Are y and 2/65 equal?
False
Let p = 20 - 18.5. Let l = -1.55 + p. Is 2 bigger than l?
True
Let n(y) = -y**3 + 2*y**2 + 35*y + 12. Let v be n(7). Let k be ((-30)/9)/((-11)/(-39)). Let r = v + k. Is r < 1?
True
Let n = -11 - -11. Let v = -2 - -5. Let t be v/2 - (-7 - -8). Which is greater: t or n?
t
Suppose 3*h = 7*h + 6364. Let a = h + 202055/127. Which is bigger: 1 or a?
1
Let q be (-2)/(3 - (-6)/(-3)). Let p = q - -2. Is 2 >= p?
True
Let l be 26/3 + (-101 - -93). Let c = 283 + -7078/25. Which is greater: c or l?
l
Let z be ((-22)/4)/(19/38). Which is greater: z or -114/11?
-114/11
Let i = -20/93 - 848/93. Let f = -144 + 135. Do f and i have the same value?
False
Suppose 0*c = 4*c + 84. Suppose 3*a - 63 = 3*d, -3*d + d + 4*a = 44. Which is bigger: d or c?
d
Let b be ((-1800)/(-84))/(-2 - (-6)/(-14)). Does -8 = b?
False
Let p be (3/(-4))/((-21)/(-6)). Let g be ((-138)/30)/(24/10). Let m = g + 5/3. Is m at least as big as p?
False
Suppose -12*y = -223 - 113. Which is bigger: y or 21?
y
Let l = 63 - 74. Which is smaller: l or 2?
l
Suppose 5*a - i - 11 = -0*a, a - 4 = 2*i. Suppose -5*f - 14 = 1. Let t = 4 + f. Are a and t equal?
False
Let d(i) = -i**3 + 4*i**2 + 6*i - 7. Let p be d(5). Suppose 6 = -b + 2*s - 0, -5*s = 5*b. Are b and p non-equal?
False
Suppose 2*k + 4 = -2*k. Let r be ((-1)/17)/(-12 - (-25)/2). Do k and r have different values?
True
Suppose -27*o + 16*o = 0. Which is smaller: o or -1/817?
-1/817
Let n(u) = -1. Let g(j) = 2*j + 26. Let d(l) = g(l) + 2*n(l). Let r be d(-11). Let x(w) = w**2 - 6*w + 5. Let a be x(4). Do r and a have the same value?
False
Let p be (234/74)/3 - 1. Let d(k) = -k - 1. Let x(m) = 2*m - 15. Let u(l) = 4*d(l) + x(l). Let h be u(-10). Which is bigger: h or p?
h
Suppose 5*z = o, -z + 5*o - 11 = -35. Which is bigger: z or 545?
545
Let o = 608.6 + -543. Let n = 78 - o. Which is greater: 1 or n?
n
Suppose 0 = 2*w - w + 4*f + 11, -5*w + f + 29 = 0. Suppose 2 = -2*x - n, -x - 4*x + n - w = 0. Which is greater: x or 0?
0
Let k = -60409/30 - -2014. Which is greater: 1 or k?
1
Suppose 16*l - 124 = 14*l. Suppose 3*d = -10 - l. Is d less than -23?
True
Let m be 280/1012 - (-12)/138. Suppose 0*l - g - 2 = -3*l, -2*l = -g - 3. Which is smaller: l or m?
l
Let o be -5 + (-378)/(-80) + 1/(-8). Which is greater: o or -59/6?
o
Let w = 3.53 + -3.53. Let n be 4/6 + -1 + 1. Which is smaller: n or w?
w
Let g(p) = p**2 - p - 6. Let o be g(3). Are -2/1517 and o equal?
False
Let w(n) = -5*n**2 + 5*n + 27. Let q be w(-3). Which is bigger: -31 or q?
-31
Let j be (-2)/(-4) + (-117)/242. Let h(p) = 2*p**2 + 52*p + 50. Let w be h(-25). Which is smaller: w or j?
w
Let j = -585 - -7015/12. Let c(a) be the first derivative of 7*a**2/2 + 27*a + 38. Let y be c(-4). Is j equal to y?
False
Let i = 15 - 8. Suppose 0 = 2*k - 27 + i. Is k at most as big as 10?
True
Let f(c) = -19*c**3 + c**2 - 10*c + 5. Let w be f(2). Which is smaller: -164 or w?
-164
Let i be 4/(-6) + 14/3. Suppose r + 5*g = 25, -r + 4*g + 3 = 23. Suppose r = i*k + 11 - 3. Which is smaller: -4 or k?
-4
Let k(b) = 41*b + 106. Let z be k(-4). Is z != -59?
True
Suppose 5*q - 40 = 10*q. Is 102 at least as big as q?
True
Suppose -2*x = -x - 4. Let n = x + -2. Suppose 4*m - i + 3 = 0, -5*m - 9 = n*i - 2. Which is smaller: -1/11 or m?
m
Let a be 25/(-10)*96/315. Is a at most -2?
False
Let y(d) = -d**3 - 6*d**2 + 2*d - 8. Let n be y(-7). Let i = n + -31. Which is bigger: i or -7?
i
Let g = 153 + -154. Which is smaller: g or -9.1?
-9.1
Suppose -2*y - 36 = 4*u, 4*y = -4*u + y - 34. Which is smaller: u or -103/9?
-103/9
Let v = -122 + 122. Let r(a) = -a**3 - a**2 + a - 2. Let l be r(0). Let o be 11/(-28)*l - 1. Which is smaller: v or o?
o
Let t = -33461/785 - -213/5. Which is greater: t or 0?
0
Suppose -5*v + 2*i + 116 = 0, -3*v - 34 + 112 = -4*i. Is 116/5 < v?
False
Let t = 595/2 + -20829/70. Suppose 34 = 100*i - 66*i. Is t bigger than i?
False
Suppose 2*m = -4*o - 22, -4*o - 4*m = m + 31. Let x be (2 + 1)*(-2)/3. Let a = -4 - x. Is a at most as big as o?
False
Let y be (-2288)/1260 + (-36)/(-20). Is y less than or equal to -2?
False
Let v be 7/(-2) - (-12705)/66. Which is greater: 191 or v?
191
Suppose 0 = 4*m - q + 134 - 43, -110 = 5*m - 5*q. Which is greater: m or -3?
-3
Let k = 0.043 + -0.043. Let m = -9 - -12. Does k = m?
False
Let x be 8/16 + ((-7)/(-2) - 1). Let d be 44/(-17) + (-4)/8 + x. Is 1 != d?
True
Let t(g) = -2*g**2 + 5*g - 19. Let y(v) = v**2 - 2*v + 9. Let l(h) = 3*t(h) + 5*y(h). Let k be l(7). Is k at most as big as -25?
True
Let k be (-40)/(-48) + (-1778)/(-12). Is k smaller than 445/3?
False
Let v(i) = -i**2 - 12*i - 30. Let a be v(-10). Let c(t) = -t**3 - 9*t**2 + 13*t + 14. Let w be c(a). Which is bigger: w or -13?
-13
Suppose -8*j - 5*j - 13 = 0. Let y = -5 + 12. Let g = 7.6 - y. Are g and j nonequal?
True
Let c(u) = -u**3 + 8*u**2 + 2*u + 1. Let n(l) = l**2. Let j(i) = -c(i) + 5*n(i). Let z be j(4). Which is bigger: z or 8?
8
Let i = -2910141/1282 + 2270. Which is bigger: i or 0?
0
Let t(i) = -2*i**2 - 4. Suppose -p - 4*z + 12 = 0, 5*z - 15 = -0*p - 3*p. Let q be t(p). Is q not equal to -1?
True
Let s = -54 - -56. Let i be -2 - (s - 6) - 6*1. Is i != -3?
True
Suppose 5*o = -r + 2*o + 9, 0 = -o + 1. Suppose r*y - 9*y + 15 = 0. Is 2 at most as big as y?
True
Suppose 4*z - 50 = -2*g, -3*g + 4*z + 55 = 2*g. Let t = 15 - g. Which is smaller: -1/5 or t?
-1/5
Let h be -5 - 3/(0 + -3). Are -10 and h equal?
False
Suppose 0 = -22*i + 27*i - 30. Let b be -13*(-6)/(i + -3 + -13). Which is bigger: -9 or b?
b
Let r(q) = 28*q - 32. Let f = -21 - -25. Let y be r(f). Is y not equal to 79?
True
Let g = 2.975 - 0.075. Let x = g + 2.1. Which is bigger: 0.2 or x?
x
Let d = -3 - 3. Suppose 2 - 50 = 4*n. Let l = d - n. Is 7 at least as big as l?
True
Let p(o) = -2*o + 9. Let l be p(-4). Suppose l + 13 = -5*u. Which is smaller: 2/7 or u?
u
Let l = -15 - -27. Suppose -5*j - 3*y + 1 = -4, 0 = -4*j - 4*y + l. Which is smaller: -1 or j?
j
Let y be 3 + (-4)/3*6/4. Let n be 4 - (4/2 + -4). Let x be 11/14 + (-3)/n. Is x at most as big as y?
True
Suppose 446*r - 1449 = 439*r. Is 206 < r?
True
Let u = -3895/400918 + -2/4091. Suppose 0 = -40*m - 10 + 50. Which is greater: u or m?
m
Let a = -47 - -19. Let s = -32 - a. Is -1 <= s?
False
Let r(v) = -11*v**3 - v - 1 - 25*v**3 + 35*v**3. Let k be 2/3*6/(-4). Let c be r(k). Is 1/4 bigger than c?
False
Let g be (12*1)/2*(-9)