11
Let z = -11 - -25. Let o = 10.7 - z. Let r = o - -0.3. Is r >= 1?
False
Let p = 137/2 - 67. Suppose -4*r = -r - 3*w - 12, -r + 4*w = -1. Suppose 5*l - 9 = -4*a, -2*l = -r*l + 3*a. Does l = p?
False
Let s(x) = -5*x - 5. Let n be s(0). Is n greater than or equal to -3?
False
Let c = 41230 - 287786/7. Let b = c + -118. Let g be (4/(-2) - -3)*0. Is g less than b?
False
Let q = -31601/170 - -929/5. Is q at most as big as 0?
True
Let q = 0.13 + -0.23. Which is greater: q or -4?
q
Let j = 0 + 5. Let p(t) = t**3 - 5*t**2 - t + 3. Let q be p(j). Are q and -1 non-equal?
True
Let f be ((-3)/(-3))/(12/15). Which is smaller: 1 or f?
1
Let n = 35/2 + -17. Is n smaller than -13?
False
Let n = 6.7 - 0.7. Let s = n - 5. Let i = -3 + 1. Which is greater: i or s?
s
Let l(t) = t**2 + 4*t - 3. Let w be l(-3). Let c be (8/15)/(4/w). Let y(z) = z**2 - 4*z + 3. Let j be y(3). Is c equal to j?
False
Suppose 0 = -0*p + 5*p - 15. Let c(n) = -n**2 + 2*n + 4. Let g be c(p). Do g and 1/13 have different values?
True
Suppose -c + 4 = c. Let n be (c/(-2))/(-5 + 6). Which is bigger: 0 or n?
0
Let c be (2 + -6)/(-4) - -8. Let d = -10 + c. Which is greater: 0 or d?
0
Let f be 7/9 - (-4)/18. Suppose 3*p + 3*u + 3 = 0, 4*u - f = -9. Which is smaller: p or -4?
-4
Let v = 3.6 + -0.6. Let r = -3.2 + v. Let z = 2.1 + -1.9. Are z and r unequal?
True
Suppose 30*q = 34*q. Is q equal to -10?
False
Let p = -5.06 + 6. Let n = 0.06 + p. Is 1/3 at most n?
True
Let l be -1 - 0 - (-30)/39. Are l and 1 equal?
False
Let b(l) = 8*l - 12. Let f be b(6). Do 1 and f have different values?
True
Let c = 3873/17 + -228. Is c at least -2/7?
True
Suppose c - 9 - 3 = 0. Let j = c - 11. Suppose n + 0*n - 1 = 0. Is n bigger than j?
False
Let w = 6 - 5.9. Let x = 8.7 + -3.6. Let g = -1.1 + x. Which is bigger: w or g?
g
Let o be (-82)/10 + 2/10. Let q = o + 6. Let a = -2 - q. Are a and 1 unequal?
True
Let k = -1317/11 + 120. Let x(g) = -2*g**2 - 7*g - 2. Let d be x(-3). Is k != d?
True
Let w = -8.1 - -0.1. Let y = w + 8.1. Let c = -45 + 357/8. Is y >= c?
True
Let k = -77/300 + -1/100. Which is bigger: -1 or k?
k
Suppose o + 4*t + 2 = -0*o, 4*o + t + 83 = 0. Let d = 43/2 + o. Which is smaller: -4 or d?
-4
Let d(h) = -25*h**2 + 3*h - 2. Let u be d(2). Let s = 4843/45 - 101/9. Let y = s + u. Which is greater: -1 or y?
y
Let a = 23/17 - 373/238. Is -1 < a?
True
Let t be (-403)/30 - (-4)/(-24). Is -15 > t?
False
Let w be -1 + (0 - 2/(-2)). Suppose 2*a + 2*z + 3 + 5 = w, z + 4 = -4*a. Which is smaller: 2/39 or a?
a
Suppose 0 = -7*f + 6*f + 1. Is 2/35 greater than or equal to f?
False
Let y be 2/2 + 23/2. Let w = -12 + y. Is -1 smaller than w?
True
Let w(y) = y**3 + 8*y**2 + 5*y - 10. Let k be w(-7). Suppose -3*u = 3, -m = 3*m - 5*u - 17. Is k greater than or equal to m?
True
Let z(k) = k + 1. Let l be 3/(-2) + (-2)/4. Let o be z(l). Let a be (1 - (-6)/(-5))*(-15)/8. Is o less than a?
True
Let d(n) = 0 + 0 + 1 - n. Let c be d(-3). Let o = 4 - c. Is o at most -1/4?
False
Suppose w - 13 = -5*j, 0 = 2*j + 4*w - 8 - 8. Suppose -j*m = 5*c - 12, -4*m + 10 = 2*c + c. Let v be (10 + -12)/(-5*2). Which is greater: m or v?
m
Suppose 4*g + 23 + 9 = -4*w, -4*w - 18 = -3*g. Is w smaller than -10?
False
Let a be ((-1)/2)/(3/6). Let c = 1 - a. Suppose -c*o - 5 + 1 = 0. Is -2 at most o?
True
Let w = 0 - 16. Let b = w - -12. Is b bigger than 1/4?
False
Let b = 2698/3385 + 2/677. Which is smaller: 1 or b?
b
Suppose -4*p = -2*h + 1 + 19, -5*h - 5*p + 5 = 0. Suppose -5 = h*o - 13. Is 4/5 greater than or equal to o?
False
Let f = 25 - 43. Is f != -18?
False
Let k be (3/22)/(6/8). Let s = 0.4 - -7.6. Let v = s + -9. Is k bigger than v?
True
Let c be (-1 + -29)*((-4)/3)/(-1). Which is greater: 0 or c?
0
Suppose 14*f - 50 = 15*f. Which is smaller: -51 or f?
-51
Let u = 9763/8 + -1223. Let x = -7/8 + u. Which is smaller: x or -5?
-5
Let o(f) = f**2 - 6*f + 6. Let y be o(6). Which is bigger: 7 or y?
7
Let l = 0.5 - -2.5. Let n = 0 + l. Let m = -3 + n. Do 0 and m have different values?
False
Suppose -2*f = -t - 12, 3*f - 2*t - 21 = -3. Suppose -3*s + 56 = 3*u + s, s = 2. Let m = u + -11. Is m less than f?
True
Suppose 2*d + 2*y = -28, -y - 21 = 2*d + 2. Which is smaller: d or 3?
d
Suppose 0 = -6*p + p + 90. Is 16 at most p?
True
Let t = 1.8 - -4. Let g = t - 6. Is -1 not equal to g?
True
Let v be 22/5*15/(-21). Is -4 greater than or equal to v?
False
Let q = -11 - -20. Let z = -11 + q. Let m be (-5 + 2 - z)/2. Is m >= -0.4?
False
Let y(w) = -2*w + 24. Let c be y(11). Which is greater: 4/7 or c?
c
Let c = 3 + -3. Suppose 0 = 2*z + 4. Let b = 0 - z. Which is greater: c or b?
b
Let l(u) = -u**2 + 7*u - 7. Let v be l(6). Let d = -99 + 393/4. Is v equal to d?
False
Let o be (-16)/6*6/4. Let r = 7 + -2. Let f = o + r. Do 0 and f have the same value?
False
Let w = 8 - 8.04. Let k = w - -0.14. Which is greater: 2 or k?
2
Suppose -936 = 12*v - 30*v. Which is smaller: v or 51?
51
Suppose 0 = -4*k - 7 - 13. Which is smaller: k or -3?
k
Let k = -46/21 + 482/105. Let s = 2 - k. Is 0.2 < s?
False
Let t = -162/107 - -43364/28783. Is 0 > t?
True
Let m = 6 - 2. Let a = m + -4. Which is bigger: 0.5 or a?
0.5
Let m be ((-3)/(-5))/(2/10). Let g be 2*(1 + (-3 - -1)). Let a be (-1)/(3/(-4 + g)). Is a != m?
True
Let t = -1188511/219 - -5427. Do -1 and t have the same value?
False
Let d = 21 - 27. Do -7 and d have the same value?
False
Suppose -n - 4*h = h + 11, 1 = n + h. Suppose 2*j - 4*i + 2 = i, n*j - i = 14. Which is smaller: 2 or j?
2
Suppose 7*j - 4 = 3*j. Let k be -15*17*3/(-9). Let p be 20/k*j/2. Which is smaller: p or 0?
0
Let a(r) = -r**2 + 4*r - 1. Let p be a(5). Let y(o) = -o**3 - 6*o**2 + 2. Let q be y(p). Let m be 8/24 + (-10)/(-6). Is q bigger than m?
False
Let v = 10.08 - 0.08. Let j = v + -9.7. Which is smaller: -1 or j?
-1
Let o be (1/(-14))/((-4)/24). Let y(w) = w**3 - 3*w**2 - 4*w - 1. Let p be y(4). Is p less than o?
True
Let f = -6 - -8. Let y = f + -3. Let v = 1.1 + y. Is v not equal to 0?
True
Let z = -12 + 13. Let n = 668 + -7336/11. Which is bigger: n or z?
n
Let q be 4*-1 + -1*294/(-77). Is q at most as big as 3/7?
True
Suppose -2 = -2*p - 8. Is 0 at most as big as p?
False
Let g = -145/2 + 74. Let d(c) = 2*c - 3. Suppose 2*a + 3 = -2*t + 1, 2*t = -a + 2. Let w be d(t). Is g < w?
True
Let a be ((-4)/1)/(5 + -4). Let z be (4/(-24))/((-1)/a). Which is bigger: -0.4 or z?
-0.4
Let q(t) = 3*t**2 + t - 2. Let z be q(1). Which is smaller: z or 3?
z
Let n(g) = g**2 - 8*g - 10. Let h be n(8). Let b be h/14 + 2/(-7). Which is bigger: b or -1/3?
-1/3
Let k = 43725/17 - 2573. Is k <= -1?
False
Let w = -0.1 + -0.9. Let q = -3.6 - 0.4. Let b = -3.9 - q. Is b at least w?
True
Let v = 2 - 1. Which is greater: 1/3 or v?
v
Let v = 59 + -37. Suppose -5*p = -7 + v. Let d be p + 22/(-18)*-3. Which is greater: d or 3?
3
Suppose 0 = 5*x + 4*h - 13, 3*x - 2*h + 0 = -1. Suppose -9*z + 14*z = 0. Is x less than z?
False
Let r(b) = b**3 + 3*b**2 + 3*b + 1. Let d(n) = -n**3 + 7*n**2 - 7*n + 4. Let s be d(6). Let o be r(s). Let m = 5 + -7. Which is smaller: o or m?
m
Let c be ((-1)/(-2))/(1/28). Is 14 at most c?
True
Let o be 1/(-3)*(-1)/(-3). Suppose 3 = 5*x + c, -2*x + 4*c + 5 + 5 = 0. Let r be (0/x)/((-1)/(-1)). Which is smaller: o or r?
o
Let r = -54 - -39. Is r not equal to -15?
False
Let a = 1.4 - 2.5. Let d = a - -1.07. Which is smaller: 1 or d?
d
Suppose -4 = -z - 2*t, -3*t - 3 = -2*z + 5. Which is bigger: z or 6?
6
Let x(q) = q**2 + 3*q - 1. Let u = -3 - 0. Let d be x(u). Is 0.2 smaller than d?
False
Let c be -2*1 - 35/(-20). Is c at least as big as 0?
False
Suppose 2*k - k + 2*l = 3, 4 = 2*l. Let g be (-3)/(-6)*(-26)/1. Let m be -4*(g/7 - -2). Is k less than m?
True
Let f be 18/12*(-14 - 0). Let z be (-4)/3*f/7. Do z and 13/4 have the same value?
False
Let m = -267 - -4541/17. Which is bigger: m or 0?
m
Let u(t) = -t**2 - 3*t - 5. Let f be u(-6). Let c = f - -45/2. Let k = -1.1 + 0.1. Are k and c nonequal?
True
Suppose 2*w + 25 = -w - 2*m, 5*w + m + 44 = 0. Let j be ((-3)/(w/6))/1. Suppose j*x = 3 - 5. Is x < 1/4?
True
Let u = -31 - -24. Which is smaller: u or -5?
u
Let y = -1/209 - -240/6479. Is y greater than 1?
False
Let q be (-2)/((-8)/6)*-2. Is q != -3?
False
Let a be 1 - 0 - (-15)/(-12). Let q(l) = -l**2 - 6*l + 3. Let w be q(-6). Suppose 2 + 1