1?
1
Let f be (-50)/22 - (-4)/2. Let x = 6 + -4. Suppose -2*r - 3*d + 13 = 0, -4*r + x*d = -8*r + 6. Is r at most as big as f?
True
Suppose -2*c = -0*c - 2318. Let z = -5688/5 + c. Let p = z - 21. Which is bigger: p or 0?
p
Let z = 3.5 - 7.1. Let f = 3 + z. Which is smaller: 0 or f?
f
Suppose -4 = -u - 1. Let y be ((-1)/11 - 3) + u. Let w(k) = -k - 2. Let p be w(-3). Is p smaller than y?
False
Let i = 6 - 6.2. Which is bigger: i or 2/9?
2/9
Let l be 752/576 - 8/6. Do -1 and l have different values?
True
Let t(y) = y**2 - 4*y - 8. Let p be t(5). Which is smaller: -4 or p?
-4
Let w = -22 + 23. Which is smaller: -7 or w?
-7
Let c = -100 - -100. Which is greater: 2/33 or c?
2/33
Let d = -2 - -3. Let m = -1069729 + 2482841242/2321. Let p = -2/211 + m. Which is smaller: d or p?
p
Let n = 0.039 - 0.039. Is n greater than -8/7?
True
Let y be (-4)/(-34) + 12/(-102). Let r be (-2)/(-12) + 2/6. Is y equal to r?
False
Let f(n) = n**2 + 6*n + 3. Let y be f(-6). Suppose 13 = y*u - 5. Which is greater: u or 7?
7
Let z(h) = -3*h**2 - 6*h - 3. Let v be z(-5). Let x be (-3)/(-4) + 36/v. Which is smaller: x or -0.2?
-0.2
Let o = -312010/107 + 2916. Is 0 at most o?
True
Let u be -5*(-2)/(-10)*-2. Let b = 5 + -2. Suppose g - u*g = b. Do g and -3 have the same value?
True
Let w be 194/(-8) - (21/12 - 1). Is -25 less than w?
False
Let p = -17840 - -249089/14. Let d = -48 - p. Are 1 and d unequal?
True
Let z(n) = -n**2 + 5*n + 1. Let d(o) = 2*o**2 - 11*o - 2. Let p(f) = 6*d(f) + 13*z(f). Let y be p(-1). Is y at most 5/7?
False
Let k = -25 - -17. Let j = -8 - k. Is -3 at most as big as j?
True
Let s be 135/(-18)*6/5. Which is bigger: s or -10?
s
Suppose 5*d + 5*n = -25, n + 32 = -6*d + 2*d. Let h = -8 - d. Is h greater than 2/5?
True
Let m(l) = -l**3 - 8*l**2 - 11*l - 24. Let g be m(-7). Are g and 14/5 equal?
False
Suppose -3*d = 19*d - 22. Which is smaller: -2/15 or d?
-2/15
Let l be 14/8 + (5 - 4). Which is bigger: l or 2?
l
Let l be 0/1 + (-4)/(-4). Let t be (-7 - -6)/(l/(-2)). Suppose -3*u + t = -u. Which is bigger: u or -1/4?
u
Let p be 0/(-3) + -3 + 5. Let b(w) = 2*w + 1. Let d be b(p). Which is smaller: 4 or d?
4
Suppose 3 + 1 = v. Let h be (2 - v)/(-2 - -3). Suppose 6 = 3*c + 15. Which is greater: h or c?
h
Suppose 10*q + 101 = -1119. Is -122 at least q?
True
Let i be -5*(0 + (-116)/10 - -2). Is 48 > i?
False
Let d be 1/(-5)*(-2)/(-2). Let i = -1/5 + d. Let f be (-32)/(-70) + 2/14. Is i equal to f?
False
Let s be 92/(-3) + (-22)/(-33). Which is bigger: s or 0?
0
Let u be (1/(-5))/((-4)/(-4)). Which is bigger: -1 or u?
u
Suppose -4*d + 10 = d. Let p be (3/d)/(18/(-1064)). Let r = p + 88. Which is greater: r or 0?
0
Let n be ((-3)/3)/((-3)/15). Which is smaller: 4 or n?
4
Let o = -4/1001 + 125141/4004. Let g = -31 + o. Is 1 at least as big as g?
True
Let v = -0.12 + 0.02. Let s = 0.2 + v. Is 0.1 <= s?
True
Let i = 284 - 3688/13. Which is greater: 2/3 or i?
2/3
Let w(q) = -5*q**2 + 2*q - 2. Let i be w(2). Let r be i/5 - (-4)/(-10). Suppose -3*y - 9 = 3*o, 15 = -4*o + 4*y - 5. Is r equal to o?
True
Let u be 3145/(-627) + (-6)/(-9). Let v = 49/11 + u. Are v and 1 unequal?
True
Let v = -1 - -1. Suppose v*s = s. Let z = -33 - -32. Which is bigger: z or s?
s
Let o(t) = 2*t - 15. Let v be o(10). Which is greater: 1 or v?
v
Let t = -0.18 + 1.18. Which is bigger: -11 or t?
t
Suppose c + 3 = 2*g, -2*c - 7 = 2*g - 5*g. Is 2 at most as big as c?
False
Suppose 0 = 5*w - 5*n - 30, -4*w + 2 = n - 7. Suppose -11 - 25 = w*p. Which is smaller: p or -11?
p
Let d be ((-18)/54)/(1*(-2)/(-39)). Is -7 less than d?
True
Let a be (2/6)/(2/12). Suppose a*u + 7 = -3*y, 5*y = -5*u - 0*y - 10. Let h be (-65)/(-20) - 1/4. Which is bigger: h or u?
h
Let m be 0*((-2)/4)/(-1). Suppose -5*r - l - 7 = m, 0 = 2*r - 0*l - 3*l - 4. Are r and -2 unequal?
True
Suppose -2*f - 11 = 3. Let w(t) = -1 - 4*t**2 + 0*t**3 - t**3 - 3*t**2. Let i be w(f). Is -1 less than i?
False
Let u(k) = 4*k + 12. Suppose 7*b - 3*b = -20. Let y be u(b). Is y greater than or equal to -7?
False
Let t(a) = 0*a - a**2 - 12 - a + 14*a. Let i be t(10). Let z be 4/9 + (-4)/i. Is 0 != z?
True
Let x = 6 - 4. Let u = -2 - -2. Suppose -8 = 4*a - 3*p - 27, -a - 3*p - 14 = u. Is x greater than or equal to a?
True
Let o(p) = -3*p - 3. Let y be o(-2). Which is smaller: y or 30/13?
30/13
Let o be (-2)/(-24)*(-31 - 3). Which is smaller: -4 or o?
-4
Let x(j) = -j**2 - j - 1. Let t be x(-1). Let i = 957/7 - -15/28. Let u = 135 - i. Do t and u have different values?
True
Let i be (-2)/4 - (-10)/36. Suppose 0 = -l - 0 - 2. Which is greater: l or i?
i
Suppose -6*a - 5*a - 220 = 0. Is a > -20?
False
Let d = 0.39 + 1.71. Let h = d + -0.1. Is -2 >= h?
False
Let p = -13 + 13.15. Let t = p - 1.15. Which is bigger: t or -16?
t
Let n be ((-6)/3 - -3)*0. Is n at least as big as -4/9?
True
Let h = 428 - 12410/29. Which is bigger: 0 or h?
h
Let p = 15 + -11. Let x = p + -3. Let s = 1.2 - x. Is 0 < s?
True
Let c = 1.6 - 1.6. Which is smaller: 1 or c?
c
Let x = 0.3 + -0.2. Let a = -283/2 + 136. Which is smaller: x or a?
a
Let p be ((-58)/(-4))/((-2)/(-4)). Let o = p + -57/2. Are 3 and o unequal?
True
Let y = -11 + 17. Let k be 1*6*(-2)/(-4). Suppose 0 = k*b - 5*n - y, 0*b + n - 9 = 4*b. Which is bigger: b or -2?
-2
Let y = 893/15 + -175/3. Let n be 2/4*46/15. Let g = n - y. Are 0.1 and g non-equal?
True
Let a = 12.7 - 12.9. Is 4 > a?
True
Suppose 2*h - 11*x - 12 = -8*x, h + 5*x + 20 = 0. Suppose 5*m = -5*n, 4*m - 4 + 11 = 3*n. Is h not equal to m?
True
Suppose 0 = 6*m - 7 + 1. Do 5 and m have the same value?
False
Let n(w) = 3*w**2 - 7*w - 11. Let y(p) = -5*p**2 + 14*p + 21. Let f(i) = 7*n(i) + 4*y(i). Let o be f(-7). Let x be (1*1/o)/1. Which is smaller: 0 or x?
0
Suppose -5*t - 22 = -3*n, 4*n - 7 = -t + 53. Which is smaller: n or 15?
n
Let i be (-2348)/(-30) + (-18)/(-45). Let z = -78 + i. Let m(r) = -r**2 - 2*r + 1. Let f be m(-2). Which is smaller: f or z?
z
Let n(p) = -p**3 + 5*p**2 + 5*p + 6. Suppose 28 = 4*h - 2*l, 2*l + 2*l - 16 = -4*h. Let u be n(h). Let d = -243/4 + 60. Which is smaller: u or d?
d
Let l be 106/(-10) + 48/(-20) + 2. Suppose 0*k = 4*k + 40. Which is smaller: l or k?
l
Let w = -1 - 1. Let m = -3 - w. Let l = -3.1 + 3. Which is bigger: l or m?
l
Let l be ((-3)/10)/(84/70). Is 1 > l?
True
Let y = -22 - -22. Which is greater: 5 or y?
5
Let n = 24635/8 - 3075. Are 4 and n equal?
False
Suppose -2 = -4*n - 6. Let b = -16 + 15. Is n bigger than b?
False
Let d be (27/(-6) - -4)*-2. Which is smaller: d or -1/4?
-1/4
Suppose 0 = -3*b - 5*f + 10, 3*b - 4 = -4*f + 10. Is b bigger than 9?
True
Let v = 7/10 + -23/40. Let x be (-1000)/208 - 1*-4. Let l = x + 4/13. Is l at most as big as v?
True
Let l be (-3)/(-2)*(-5)/(-6). Let j(v) = 0*v**2 - 5 + 9*v + 7 - 3*v + v**2. Let g be j(-6). Is l bigger than g?
False
Let o(u) = u**2 - 5*u - 3. Let k be o(6). Suppose -3*v - 1 = 4*l + 6, -k*l + 5*v + 2 = 0. Let b be (3/36)/((-3)/8). Which is greater: b or l?
b
Let d = 15.96 + -15. Let v = d + -1. Which is smaller: -0.1 or v?
-0.1
Let n = 5.1 - 5. Let d = n - -0.4. Do d and -1/2 have the same value?
False
Suppose -2*o = 6, 2*o = v + 2*v - 24. Is v greater than or equal to 6?
True
Let l = -78/7 + 2099/189. Which is smaller: 0 or l?
l
Let p = 10.7 - 10. Let l = p + -0.72. Let k = 0.22 + l. Which is smaller: 0 or k?
0
Suppose v - 3*v + 4 = 0. Let w = -7 - -10. Which is greater: w or v?
w
Let a = 10 - 6. Suppose -2*m = -2*j + 5*j - 2, -5*j = -a*m + 4. Let q be -2 + 1 + j + 0. Do q and 2 have the same value?
False
Let o be (-2)/(-10) + (-59)/(-5). Suppose -2*d - 2*d + o = -2*p, 4*d + 4*p + 12 = 0. Let r be 3*(-6)/9*d. Which is greater: r or -1?
-1
Let a = 51.2 - 35.29. Let k = a + -16. Let l = -0.11 + k. Which is smaller: 0.5 or l?
l
Suppose 0 = 2*v - 0*v + q - 13, -5*v = 4*q - 40. Suppose v*u = 3*z + 1, -4*z - 4*u + u = -7. Let c be 2*(0 + z/(-2)). Is c at most 1?
True
Let r be (357/(-12))/((-39)/84). Let m = 64 - r. Which is bigger: 1 or m?
1
Let n(z) = z + 3. Let h be n(3). Let j = -2/19 + 25/57. Is j greater than or equal to h?
False
Let b be 1*(630/2296 - 2/8). Is b greater than or equal to 2/9?
False
Let r(y) = -y**3 - 6*y**2 - 5*y - 6. Let x(w) = -w**2 - 5*w - 5. Let g be x(-5). Let u be r(g). Let o be u/10*(3 - 2). Which is smaller: o or 1?
o
Let i = 