1.3
Suppose -z + 4*z - 6 = 0. Let m be (-2)/z + (1 - 0). Suppose -5*t + 15 = m, 0*t = -2*q - 3*t + 23. Which is bigger: q or 6?
q
Let q(j) = 2*j**3 + 10*j**2 + 9*j + 3. Let l be q(-4). Suppose 4*m - 14 = -2*v - 4, 0 = -5*v - 2*m + 1. Let p = v - l. Which is greater: 5/9 or p?
5/9
Let i = 13 - 9. Suppose 0 = -s - i*s - 15, -s + 33 = 2*j. Is j != 18?
False
Let n(s) = -5*s - 7. Let t be n(-2). Suppose -5*q + t*q - 8 = 0. Let y be (q/(-10))/((-1)/5). Which is smaller: y or -1/2?
y
Let b(d) = -4*d**3 + 5*d**2 + 4*d**3 + 2*d - 2 + d**3 - d**2. Let j be b(-2). Suppose -3*l + 5*q = -21, j = -l - l - 2*q. Which is smaller: l or 3/5?
3/5
Let i = -802 + 802.2. Which is bigger: -84 or i?
i
Let t = 3 + -4. Let s be t/2 - (-3387)/1518. Let k = 20/11 - s. Which is smaller: k or -1?
-1
Let h(t) = 12*t**3 + t**2 - t + 1. Let m be h(1). Let p be m*5 - (-6)/(-3). Let f be (-4)/18 - 13/p. Is f greater than -1?
True
Suppose 182*g = 189*g + 231. Which is bigger: -32 or g?
-32
Let d = -8/15 + 1/5. Let n(a) = a - 6. Suppose -2*t + 8 = -0*t + k, -36 = -4*t + 3*k. Let g be n(t). Which is smaller: d or g?
d
Suppose 2*y = 4*j + 22, -3*j + 1 = 3*y + 4. Suppose 5*h + 1 - 2 = r, -3*r = -2*h + y. Which is bigger: r or 4?
4
Suppose v = 4*u - 264, 309 = 5*u - 10*v + 14*v. Which is greater: 67 or u?
67
Let k be (-21)/(-5) + (-6)/30 - 27. Which is greater: -122/5 or k?
k
Let g(c) = c**2 - 3*c - 5. Let s be g(5). Suppose -2*n + 2*x + 12 = 0, -3*x = 4*n + x - 8. Suppose -n*z = -z - 18. Is s bigger than z?
False
Suppose 3*n - 200 + 8 = 0. Let x = -97 + 162. Is x bigger than n?
True
Let u = 1508.9 - 1517. Which is smaller: 0 or u?
u
Let z = 4/35 - 82/105. Let q = 48 - 48. Suppose -k = -q*k + 1. Is z less than or equal to k?
False
Let x be (-2)/69*-66 - 2. Let t = -1.4 - -0.9. Which is smaller: x or t?
t
Let i be 16/(-64)*(0 + 0). Do -286 and i have the same value?
False
Let u = 64 - 16. Suppose u = 3*f + 42. Which is bigger: 0.76 or f?
f
Let l = 164 - 44. Which is greater: 1 or l?
l
Let l(q) = -3*q**2 + 7*q - 2. Suppose -7*u + 2*u + 21 = 3*p, -p = -u + 1. Let s be l(p). Which is greater: s or 3/8?
3/8
Let b be 4/(-3) + (-23664)/(-19530). Let p = b + 2/35. Does p = 1?
False
Suppose 2*b + 13 - 37 = 0. Suppose 0 = 3*f - b, 2*j + f = -9 + 23. Suppose -c - 21 = j*n, -4*c - 5*n = -c + 23. Is c > 3/10?
False
Let y be (8/66)/(2/(-26)). Which is bigger: y or -1?
-1
Let r = -1.4 - 0.2. Let j = r + -4.4. Let u = 6 + j. Which is smaller: u or -2/9?
-2/9
Let d = 17 - 10. Let q be 621/(-345)*(-20)/6. Which is smaller: q or d?
q
Let y = -1661 + 1660. Is 159 greater than y?
True
Let v(g) = -g**3 + 2*g**2 - 5*g + 4. Let q be v(3). Let o = -790 - -770. Is o at least q?
True
Let x = 656.1467 + -0.1467. Is -1 at most as big as x?
True
Let k be (14/(-1162))/(2/(-8)). Which is smaller: k or 0?
0
Let m = -34.8 - -32.8. Let p = 2.3 - 1.52. Is p less than m?
False
Let x = 14184674/3189 - 4448. Which is bigger: x or 0?
x
Suppose 3*a = 0, 7*n - 2*n + 5*a - 90 = 0. Suppose -42*j + 47*j = 95. Is j >= n?
True
Suppose -d + 7 = 3*g + 17, -3*g - 6 = 0. Let b be (3 + 22/d)*-2. Is 2 bigger than b?
False
Let p be 34/(-35) - (-2 + 1). Suppose 30 - 73 - 127 = -170*i. Which is smaller: p or i?
p
Suppose -66*d + 16 = -70*d. Let i be (9/(-6))/(2/8). Which is smaller: d or i?
i
Let o = 8 - 10. Let h be (-36)/(-4)*o/(-6). Let r be (-36)/96*(-2)/h. Which is greater: r or -21?
r
Suppose 9 = 2948*b - 2939*b. Which is smaller: b or 1/378?
1/378
Let i = 36.2 + -35.324. Let q = i - 0.076. Is q < 1/2?
False
Let v = 11 + 1. Suppose -3*s + 2*s - 13 = -p, 0 = 3*p + 4*s - 32. Let z = v - p. Which is greater: z or -8?
z
Let j be (-17)/2 - (-1)/(-2). Let o = 5750 + -5758. Does j = o?
False
Let p = 0.19 - 8.19. Let u = -6 - p. Let b = -0.201 - -0.001. Which is bigger: b or u?
u
Let g = -2221 + 6662/3. Suppose 3*w + 2*a - 11 + 142 = 0, -3*w + 2*a - 139 = 0. Is w greater than or equal to g?
False
Suppose -2*q + 34 = -3*g + 3, -2*q - 5*g = -23. Suppose 3*s = -34 - q. Let r be 27/(-4) - (-4)/s. Which is smaller: r or -6?
r
Let a = 4.6 - 3.96. Let c = a - 0.67. Which is greater: c or 2/3?
2/3
Let h be ((-36)/(-33))/(153/99). Let b be -2 + (4 - (1 - 0)). Which is greater: b or h?
b
Suppose -2*n = -2*g + 76, -12 = -4*g + 8. Is -34 at least as big as n?
False
Let w be (-3 + (-28)/(-12))*-6. Suppose r - 2*o - 3 = o, 4*r - 4*o = -w. Is -3 less than r?
False
Let j be (-63)/189 - 17/(-9). Suppose -b = -3*d + 8, d - 2*b = -2*d + 10. Is d != j?
True
Let d be 7/(-42)*(1 + -1). Is d at most as big as 4/3?
True
Let w be (-57)/152 + 9/24. Is w less than or equal to 72?
True
Let n = -0.2 + 0.1. Let r = 15.4 + -20. Let z = r - -4.6. Which is smaller: z or n?
n
Suppose 4*n - t = 13, 2*n + 3*n + 2*t - 26 = 0. Let c = 8 - 4. Let b = c + -6. Do b and n have different values?
True
Let n be ((-351)/(-234))/((-2)/8). Is n smaller than -44?
False
Let k(u) = -u**3 - 33*u**2 - 30*u + 62. Let r be k(-32). Are -42/13 and r non-equal?
True
Let w(l) = -l**2 - 2*l + 11. Let v be w(-5). Let i be ((-2)/v)/((-10)/115). Is -6 less than or equal to i?
True
Suppose -17*m - 15*m = 128. Which is smaller: m or -100/29?
m
Let v = -13.2 - -13.05. Is v equal to -0.01?
False
Let t be ((-5)/(-25))/((-1)/((-70)/11571)). Which is greater: t or 0?
t
Let m(l) = l - 11. Let a be m(10). Let k = 361 + -2887/8. Which is bigger: a or k?
k
Let p be (-2 - 0) + 1812/903. Suppose 0 = -5*o + 5*w + 20, -4*w = o - 4*o + 16. Is p < o?
False
Suppose -2*j = -4*i + 5 + 3, -5*i - 5*j + 10 = 0. Let f be (64/(-40))/(i/(-10)). Suppose 4*u + 2*z - 18 = 0, 5*u - 1 = -z + 26. Is u less than or equal to f?
True
Suppose 14*g = -2*g - 32. Which is greater: g or -202?
g
Let g = 321 + -4813/15. Let i be (-1 + -2)/(-1) - 1. Suppose -m - 2*b = i, 2 = -2*b - 0. Is g >= m?
True
Let g be (396/8)/((-3)/(-4)). Let d be 2/8 - g/(-24). Let s be 0 + d - 6 - -3. Which is bigger: s or 3/8?
3/8
Let s be (-2)/(-10) - (-508)/10. Suppose 11*w + s = 8*w. Let d = -26 - w. Which is bigger: -10 or d?
d
Suppose -16*y + 1765 = 12901. Is -695 bigger than y?
True
Let n = 6291/2 - 80507/26. Which is smaller: 49 or n?
49
Let f(j) = j**3 + 3*j**2 + 2. Let s be f(-3). Suppose y = -4*v + s, 5*y + 9 = -2*v + v. Let g be (3/y)/(9/18). Is g >= -3?
True
Let r be ((-100)/(-60))/((-92)/54 + 2). Let o = 0.31 + -0.21. Is r at most o?
False
Suppose 4*l + 3*p - 15 = 0, 3*p - 5 = 4*l + 2*p. Which is smaller: -95 or l?
-95
Let b be 3/(-6) - 15/(-6). Suppose -4*f = -10 + b. Let x be (f/4)/(2/(-4)). Which is smaller: 1/4 or x?
x
Let j = 23 + 18. Suppose -j + 11 = -5*y. Is 6 >= y?
True
Let v = -261 - -285. Does v = 6?
False
Let x be 26/15*1*90/(-60). Suppose 10 = 8*c - 3*c. Let q = c + x. Is q < -1?
False
Let t = 1271 + -1273. Let z = 0.25 - 0.05. Which is greater: t or z?
z
Let h be -1 + 1 - (-28 - -3). Suppose -5*v = -2*r + 23, 4*r - v - 2*v = h. Suppose -r*s + 3*s = 0. Which is greater: -7 or s?
s
Suppose 0 = 4*a - 105 - 243. Suppose -5*v - 23 = a. Do -22 and v have different values?
False
Let j = -2238 - -2218.14. Let s = j + -0.14. Let g = s - -20.4. Which is bigger: g or -2?
g
Let k = 0 + 4. Suppose -k*g - 20 = -4*i - 4, 5*i = 5. Is g != -2?
True
Let r be (0 - 338/90) + (-8)/(-40). Which is smaller: r or -4?
-4
Suppose 11*c = 8*c + 6. Let w be -7 - c/4*(-4 - 0). Which is bigger: w or -6?
w
Let a be (3 + -8)*(3 - (-1 + 3)). Which is smaller: a or -4?
a
Suppose 15*k + 6 = 13*k, 0 = 3*v + 3*k - 2244. Which is bigger: v or 752?
752
Let f be ((-1)/(-37))/((-322)/28). Which is smaller: f or 0?
f
Suppose -3*p = 3*z - 12, 3*p = -2*z + 1 + 6. Suppose 5*u = 5*d + u + 51, -z*d - 19 = 4*u. Which is bigger: -3 or d?
-3
Let f be 7/3 + 8/12. Suppose -20 = -s + f*s. Let c = s - -11. Do -2/9 and c have different values?
True
Suppose -8*o = -1269 - 691. Is 246 >= o?
True
Suppose 4*c + 4*d + 16 = -72, -82 = 5*c - 2*d. Let f(v) = 3*v - 6. Let q be f(4). Let z = q - 5. Which is smaller: c or z?
c
Suppose 0 = -4*i + 8, t + 11 = 4*t + 4*i. Suppose -2*k - t = 3. Suppose 93 + 69 = 63*b - 90. Which is bigger: k or b?
b
Let b(z) = -z**2 - 52*z - 207. Let x be b(-46). Is x at least 71?
False
Let f be (9/(-5) + 1)*-5. Suppose -h = l - 5 - 4, -4*l + 1 = -3*h. Suppose -4*n - 2*d = -6, 29 = n - 0*n - h*d. Is f <= n?
True
Let x = 1.785 - 0.085. Which is smaller: -4 or x?
-4
Let i = 