+ -1.1. Which is smaller: r or -22?
-22
Let b(c) = -c + 10. Let u be b(7). Suppose u*w + j = 2*w + 4, 0 = 2*j - 10. Let f = w + 2. Are 1/4 and f non-equal?
True
Suppose -16 = -27*j + 19*j. Let s be (-2)/6 - (-4)/3. Are j and s nonequal?
True
Suppose 0 = 2*w + 2*w - 32. Let j be -6*(2 + w/(-3)). Do 5 and j have the same value?
False
Let k = 0.8 - -0.2. Let d = -21 - -24. Is d >= k?
True
Let p = -3 + 1. Let g = p - -2. Let h = -0.7 - -0.7. Is g > h?
False
Let a be (-22)/2 - 2/(-2). Let q = a + 6. Which is smaller: q or -3?
q
Suppose -4*o + 4 = -2*r - 0, 4*o = 4*r - 4. Is 4 greater than r?
False
Suppose 2*w - 7 - 5 = 0. Suppose -3*z = -2*x - 1, z - w*x = -2*x + 17. Are -1 and z non-equal?
True
Let x = -7 + 4. Which is greater: x or 2?
2
Let x be (1 + 3)/(-2)*-12. Let p(v) = 18*v**2. Let s be p(1). Let y be (-4)/s + x/(-135). Is y bigger than -1?
True
Suppose -4*r - 3 = 33. Which is smaller: r or -10?
-10
Let a be -1*(-2)/(2/(-5)). Let r be 1 + -6 + 3 + -3. Is a greater than or equal to r?
True
Suppose 9*k = 17 + 1. Do k and 2 have different values?
False
Let c be (1 - -1) + 248/(-122). Is c greater than -1?
True
Let o be 0 + -4 + 3 + -4. Is -5 equal to o?
True
Let h = 38 + -37.9. Let u = -2.1 - -2. Is h equal to u?
False
Let j(l) = -l**2 - 5*l + 3. Let y be ((-2)/(-5))/((-1)/15). Let s be j(y). Which is greater: s or 0?
0
Suppose -3*u - 118 = -4*q, 2*u - 3*u = 5*q - 157. Suppose 2*g - 6*g - 4*w + 100 = 0, -g - 3*w + q = 0. Is g less than or equal to 22?
True
Let r = -5433/4930 - -1/493. Which is smaller: -1 or r?
r
Let l = -16 - -21. Which is bigger: -0.02 or l?
l
Let b be (8/(-390))/(20/(-3570)). Let x = -19/13 + b. Which is smaller: x or 1/4?
1/4
Let l(o) = -o**2 - 2*o + 7. Let g be l(-3). Suppose h + 3 = -0*m + 4*m, -3*m = -4*h - 51. Let y be (-2)/g*h/(-6). Is 0 not equal to y?
True
Suppose 1 = u + 2*y + 2*y, -5*u = -2*y - 27. Suppose 0 = i + 3*i - 12. Let f be (1 - 4)*(-5)/i. Do f and u have the same value?
True
Suppose 5*c = -6 - 44. Let k = c - -8. Is -1 less than or equal to k?
False
Suppose -5*g + 5 = t - 9, 24 = 5*t + 2*g. Let w be (5 + -2)*(1 - -1). Suppose -w*n = -t*n. Which is smaller: n or 1/6?
n
Let r = -0.2 + 2.2. Is 2/9 bigger than r?
False
Let l = 0.3 + 1.7. Let a = l + -2. Is 1/2 greater than a?
True
Suppose 36 = -2*d - 0*d. Which is greater: d or 0?
0
Let p = 9 - 4. Suppose 4*j - 2*i + 3 = -53, -10 = -p*i. Does -12 = j?
False
Suppose 0 = 5*r - 3*c + 123, -3*c + 8 = r + 47. Is r > -27?
False
Let b = -13.007 - -0.007. Is -3 less than or equal to b?
False
Let s = -20 - -13. Let z be 1 + -2 - 9/s. Which is bigger: z or -0.4?
z
Let n(z) = -z**3 + 6*z**2 + 4. Let t be -2 - 1*-3 - -5. Let h be n(t). Let q = -5 + 9. Is q > h?
False
Let q = 4 - 4. Suppose y + y + 60 = q. Let g be 5/15 - 2/y. Is g equal to -2/7?
False
Let r be 2/77 + -1 + 1. Are r and 0 equal?
False
Let h = -27 - -19. Let c(l) = 3*l - 40. Let g be c(11). Which is bigger: h or g?
g
Suppose 2*m - 7*m = j + 1, -17 = -3*j + 5*m. Let h(v) = v**3 - 3*v**2 - 4*v - 1. Let p be h(j). Which is bigger: 0 or p?
0
Let a be 3/(-6)*(-28)/2. Let h(l) = l**3 + 11*l**2 - 13*l - 10. Let f be h(-12). Suppose -3*m + 1 + f = 5*b, -4*m = -4*b - 36. Which is smaller: m or a?
m
Let r = -9 + 17. Suppose -16 = r*a - 4*a. Let s be a/(-3)*6/4. Which is bigger: s or 3?
3
Let k be 22/28 + (-3 - -2). Let x = k + 1/2. Is x <= 1/4?
False
Let r = -14.848 + 2.878. Let c = r + 12. Which is smaller: c or 0?
0
Let d = -653/56 - -99/8. Let r(g) = -g - 2. Let u be r(-3). Which is smaller: d or u?
d
Suppose -3*n - 7 = 2*d + 3*d, 3*n - 2*d + 35 = 0. Let w be (n/(-3))/18*-1. Suppose 0 = 10*c - 16*c - 6. Are w and c non-equal?
True
Let u be (-6)/242 - (-12 + 12). Let g = u + -829/726. Is g bigger than -1?
False
Suppose -u + 3 = 5*s - 2*s, 5*s - u + 3 = 0. Are s and -2/27 non-equal?
True
Let k = 0.09 + 0.01. Which is smaller: k or 32?
k
Let z be (-14)/(-35) - ((-24)/(-15) - -2). Are 0 and z equal?
False
Let r = -68 + 81. Is r less than or equal to 10?
False
Let y be 0*(1 - (-3)/(-2)). Let j(b) = b + 8. Let d be j(-8). Let l be 0 + d - (-16)/(-40). Which is smaller: l or y?
l
Let d = -9 + 11. Let w be ((-7)/(-35))/(d/25). Which is smaller: w or 3?
w
Let c(f) = -f**2 + 6*f - 4. Let d be c(3). Suppose -2 = -d*a + 8. Let h be ((-8)/6)/(-4)*3. Is h greater than a?
False
Let c be 1 + -1 + (-3)/((-6)/(-82)). Which is bigger: c or -40?
-40
Let l = -11.3 + 11. Is l at least 2/11?
False
Suppose i - 5 = -3*m, 0*m + 2*m + 5*i = 25. Suppose m*w = 2*w. Let o = w - -1. Is o < -0.2?
False
Let s(h) = h**2 - 3*h - 5. Let y be s(4). Let u(g) = -g**3 - 3*g**2 - 3*g - 2. Let w be u(-2). Is y at most w?
True
Suppose 516 = 3*v - t, 0*v + 2*t - 165 = -v. Let w be (-1 - 0)/(v/(-38)). Which is smaller: w or -1?
-1
Let a = 12 + -11.9. Which is greater: a or -12?
a
Let v = 553/19045 - 4/293. Which is smaller: 1 or v?
v
Let p be (-3 + (-13)/(-3))/(-6). Let k = 7/72 + p. Which is smaller: 1 or k?
k
Suppose -3 = -5*c + 2*j - 5*j, 5*c - j = -1. Suppose -5*t + 2*t + 3 = c. Which is bigger: t or 3/2?
3/2
Let j(s) = -s + 3. Let y be j(3). Suppose 2*t + 1 - 5 = 0. Let h be t/(-5) + 6/15. Is h > y?
False
Let c be -3*(2 + -1) - 8. Let f = 22 + c. Which is bigger: 12 or f?
12
Suppose 0 = 3*f + 8*f - 77. Which is smaller: f or 4?
4
Let h = -0.8 + 1. Let c = -3.57 - -0.57. Which is greater: c or h?
h
Let v(o) = -o - 3. Let d be v(-6). Suppose 1 = -j - d. Is j at least as big as -4?
True
Let s be 2/21*3/2. Let b = -35 - -35.1. Is s less than or equal to b?
False
Let k = -0.03 + 0.02. Let p = -1.99 + k. Is 3 >= p?
True
Let j(i) = -i. Let g be (2 - -1)/3*-3. Let t be (g/(-2))/(5/(-10)). Let a be j(t). Which is bigger: a or 2?
a
Let i(s) be the second derivative of s**3/6 - 2*s**2 - s. Let d(x) = x**2 - 3*x - 1. Let v be d(-2). Let l be i(v). Are l and 5 equal?
True
Let b = 33 + -33. Is b greater than 5?
False
Let x = 28 - 21. Is x >= -2/3?
True
Let n be 2 - (-4 + 4 + -2). Let d be (-4)/8 + 22/n. Suppose g = 4*y + 7, -4*g + 3 = -y + d. Which is smaller: g or -2?
-2
Let y be (14/(-49))/((-1)/7). Is -3 greater than y?
False
Let g be (518/(-24))/((-6)/(-18)). Let y = g + 649/10. Let b = 13/20 - y. Is 2 bigger than b?
True
Let g = 37 + -36.8. Which is smaller: g or 1/14?
1/14
Let k = -4 + 9. Let j be (-8)/k - (-8)/(-20). Do -1 and j have the same value?
False
Let a(u) = 7*u**3 - 1. Let d be a(1). Suppose -d*r = -4*r - 2. Which is smaller: 2 or r?
r
Let r = -31/10 + 343/130. Which is bigger: r or 0?
0
Let m = -341/5 - -68. Let t be (-2 - (2 + -4))/1. Which is greater: m or t?
t
Suppose t = -14 + 6. Is t at most as big as 2?
True
Suppose 5*r = 3*t - 5, -4*r - 3*t + 14 = -9. Let m be (-1)/r*0*-1. Let w be 1/2*(2 + -2). Is w equal to m?
True
Let b(g) = g**3 + g**2 + g + 58. Let u be b(0). Let k be u/5 + (-4)/(-10). Suppose 2*s = -s + k. Is s at least 5?
False
Let d(h) = -h**2 - 9*h + 4. Let i be d(-9). Let l be (3/(-6))/((-2)/i). Let m be (l - (-4)/(-3))*21. Is -6 bigger than m?
True
Let u be (-4)/14 + 8/28. Suppose 4*f - 2*f - 2 = u. Is 4/5 equal to f?
False
Let v be (2 + (-87 - -7))*(-2)/4. Which is smaller: v or 40?
v
Let g(m) = -13*m + 168. Let h be g(13). Let r be -2 + 1 + 70/74. Is h < r?
True
Let j = 109 - 109. Let v be 3/8*(-6)/(-9). Which is greater: v or j?
v
Suppose -5*m - 1 = 9. Let n = 17/9 + -112/45. Is m > n?
False
Let h = 5 - 41. Let n be 102/h + 3/1. Is n less than 0?
False
Let b(s) = 2 - 3 - 5*s + 1. Let c be b(1). Is -5 at most as big as c?
True
Suppose -5*w + 16 - 3 = -3*l, -5*w - 5*l = -5. Let d = -16 - -15. Let u be (d + 5)*(-17)/(-119). Which is smaller: w or u?
u
Let u = -0.4 - -6.4. Let t = -10 + u. Let i = -705/7 + 101. Which is smaller: i or t?
t
Let c be (0*2/6)/(-3). Suppose 15 = v + 2*f, -2*f = -c*f - 10. Are v and 5 non-equal?
False
Let h = -8 + 4. Let d(t) = -t**3 - 3*t**2 + 3*t - 2. Let j be d(h). Let n = j - 2. Which is greater: 1 or n?
1
Suppose -3*x + 3 - 18 = 0. Let v be (-28)/10 - (-1)/x. Let o = 3 + v. Which is bigger: o or -1?
o
Let p be (2 - 1)/(6/(-18)). Which is greater: -6 or p?
p
Let j(x) = x**3 + 7*x**2 + 7*x + 9. Let l be j(-6). Suppose 4*v + 5*i + 25 = -0*v, 3*v - 4*i - 20 = 0. Are l and v non-equal?
True
Let d(z) = -z**3 - 7*z**2 - 2*z - 12. Let g be d(-7). Is g at least as big as 3/2?
True
Let c = 17.33 - 17. Let 