g?
True
Let h = -0.3 - 0. Let j = 0.3 - h. Let z = j + 1.4. Are 0.1 and z unequal?
True
Suppose -155 = -5*h - 5*z, -3*h = -z + 21 - 110. Is 30 <= h?
True
Let h = -53/5 + 11. Suppose 2*t - 9 - 1 = 0. Suppose 7 = t*j + 2. Is j at least as big as h?
True
Let t = 1 + -1. Suppose q = -5*o + 7, 4*q - 4*o + 0 - 4 = 0. Suppose q*r = 4*r. Is t at least r?
True
Let w = -113 - -109. Is -4 at most as big as w?
True
Suppose -84 = -m - 2*m. Is m equal to 29?
False
Let j = 2 + 0. Let d be ((-62)/(-33) - j)/(-2). Let x(m) = -8*m - 31. Let v be x(-4). Are d and v non-equal?
True
Let o be 39/15 + (-3)/5. Let r be 0/((-1*4)/(-2)). Let j be (0 - r) + 4/6. Is j bigger than o?
False
Let v = 4 - 6. Let q(i) = i + 5. Let t be q(0). Suppose -3*b + 2 = 4*n + 7, -t = -5*n. Which is smaller: v or b?
b
Let y be ((-9)/(-18))/((-2)/4). Which is greater: y or 1/62?
1/62
Let d be -6 + (-2 + 4 - 4). Which is greater: d or -10?
d
Let t be 1/(0 + (-3)/583746). Let q = -2137159/11 - t. Let o = q + -295. Which is bigger: -1 or o?
o
Let n(f) = -f**2 + 4*f + 1. Let d be n(4). Let g = -6/41 + 194/205. Which is greater: g or d?
d
Suppose 0 = 4*i - 2*u - 3*u - 14, -2*u - 4 = 0. Is i != 5/13?
True
Let i(u) = 4 - 2 + 2 + u**2 + 4*u. Let m be i(-4). Suppose 0 = 3*s - 5*c + 4*c - 15, -17 = -5*s - c. Is m at most s?
True
Suppose 3*c + 42 + 51 = 0. Let o = c + 31. Let a be ((-2)/25)/((-14)/10). Is a at most as big as o?
False
Let w = 83 + -27. Let b = -282/5 + w. Is 1/4 at least b?
True
Let v = -0.02 - 0.05. Is -1/4 >= v?
False
Let k(h) = 5*h**2 - 18*h - 9. Let c(w) = 3*w**2 - 12*w - 6. Let x(j) = 8*c(j) - 5*k(j). Let n be x(-5). Let i be (n/6)/(2/30). Is i > 4?
True
Suppose 4*p - 3 + 7 = 0. Which is bigger: p or 2/3?
2/3
Let o be 9/((-27)/(-6)) - 3. Which is smaller: o or 1/15?
o
Let q = -193693/903 + -1/1806. Let f = 219 + q. Does 4 = f?
False
Let f = -33.05 - -33. Which is smaller: f or 5?
f
Suppose -t - k - 13 = -0*k, k = t + 13. Which is smaller: -16 or t?
-16
Suppose 0 = -4*i - 8 + 4. Let w be 0 + 0 + i - 0. Suppose -5*k + 2 = 5*x + 7, -5 = 5*k. Which is smaller: w or x?
w
Let g = 11 + -10. Suppose -k + 1 + g = 0. Is k at most as big as -1?
False
Let j(h) = 4*h**3 + h + 1. Let v be j(-1). Let y(l) = l**2 + 11*l - 2. Let u be y(-12). Let n = u + -14. Is n bigger than v?
False
Suppose -2*i + 3*i + 117 = 2*t, 2*t = -2*i + 126. Suppose -3*l + t = 2*l. Let n be 8/(-30)*10/l. Is n at most as big as -1?
False
Let c(q) = 5*q**2 - q + 9. Let k(d) = -d**2 - 2. Let w(h) = 2*c(h) + 9*k(h). Let y be w(3). Suppose -4*i = 1 + y. Which is greater: i or -2?
i
Let l(v) = -4*v + 1. Let w be l(4). Let q be 10/w*1/(-2). Is 0 >= q?
False
Let m = 74 + -145/2. Let k(s) = -s - 1. Let l be ((-21)/(-28))/(1/(-4)). Let i be k(l). Is i greater than m?
True
Let c = -3 + -2. Let i be c*2*(-1)/5. Let w be -1 + 5/(-4) + i. Is -1 equal to w?
False
Let u = -0.2 - -0.1. Let d(c) = c**2 - 1. Let b be d(1). Let y be -2 - (b - 4/2). Which is smaller: y or u?
u
Let l = 0.1 + -1.9. Let s = 1.4 + l. Do s and -0.2 have different values?
True
Suppose 0 = -5*q + m + 4*m + 115, -2*q = 4*m - 70. Which is bigger: q or 1/3?
q
Let f = -79 + 125. Is -1 not equal to f?
True
Let g(w) = 0*w + 3*w - w. Let v be g(-1). Let p be v + 2 + 4/(-2). Does -5 = p?
False
Suppose -4*i + 6 = 2*i. Suppose -3*y + 5 = -8*y. Is i less than y?
False
Let g = 3615 + -2405. Let i = g - 61678/51. Let r = i + 2/51. Is 2 >= r?
True
Suppose -2*a = -4*c - a - 90, -c - 20 = a. Which is smaller: -23 or c?
-23
Let z(w) = -w - 1. Let j be z(-3). Let s be (-6)/27*1/j. Which is smaller: s or 1?
s
Suppose 12 = -4*h + 2*d, -2*d + 6 = -5*d. Suppose 3*w + 11 = -2*w - a, 4*w = -2*a - 4. Which is greater: w or h?
w
Suppose -t + 0 + 13 = 0. Are 14 and t equal?
False
Let a = 68/7 - 10. Let p(u) = u**2 + 2*u - 6. Let d be p(-5). Suppose -3*g - 15 = 4*w, 0 = 2*g + g - 4*w - d. Is a not equal to g?
True
Let u = -4 + -16. Let j be -5*(1 - 4/u). Which is greater: j or -13/2?
j
Suppose 3*q - 6*q - 18 = 0. Do q and -2 have the same value?
False
Suppose -27 = 4*m - 3*f, 0*f = -2*m - f - 1. Suppose -5*u + 4*d - 7 = d, -5*u + d - 9 = 0. Let p = m + u. Is p at least as big as -5?
True
Let i = -91.3 + 91. Are -34 and i equal?
False
Let b = 6 - 0. Let q = 6 - b. Let x be q/(-1*4 + 2). Which is smaller: 1 or x?
x
Let q be ((-4)/8)/(-1 - -3). Is 2/17 > q?
True
Let m = 0 + 0.3. Let y = 0.74 - m. Let b = 0.06 + y. Which is smaller: 2/7 or b?
2/7
Let x = 3 - -16. Does 18 = x?
False
Let k be 1*-3*(-2)/(-2). Let d = -5 - -5. Let c be d - 1 - k/(-3). Is c less than or equal to -3?
False
Let s be (-1)/(-2) + 8/16. Let k = -1 + s. Let r(w) = -w + 4. Let z be r(4). Is z != k?
False
Let c be (2/10)/((-126)/70). Which is smaller: 1 or c?
c
Let x = 5892.97 + -5868. Let d = x - 25. Let a be (-2)/7 - (-10)/(-14). Is a <= d?
True
Let p = -111 - -449/4. Which is smaller: 1 or p?
1
Let n = -14 - -14.2. Which is smaller: n or 32?
n
Suppose 24 = -2*b - 5*k, -3*b + 5*k = -b + 4. Let c be (b - -8)/((-2)/18). Which is smaller: c or -8?
c
Let r = 1.95 + -2. Let f = r - -1.05. Is f >= -2?
True
Let h be (-46)/10 - ((-416)/(-40) - 10). Is h bigger than 1/6?
False
Let n(h) = -37*h - 8. Let k be n(5). Is k != -192?
True
Let k = 0.047 + 0.953. Let l = -7/15 - -3/10. Which is bigger: l or k?
k
Let t be (-695)/7 - -2 - (-2)/7. Which is bigger: -98 or t?
t
Let p(g) be the third derivative of -g**4/24 - 13*g**2. Suppose 0*r = -4*r. Let j be p(r). Which is bigger: j or 1?
1
Let g(h) = -h + 8. Suppose -5*p + 0*w + 5*w + 45 = 0, -5*p + 39 = -2*w. Let z be g(p). Let b be z*(-6)/21*-1. Which is bigger: -1 or b?
b
Let s be 1 + -3*1086/2403. Let k = 2/89 + s. Which is bigger: k or 0?
0
Let k = 1.119 + -0.119. Which is greater: 0 or k?
k
Suppose 63 = g - 4*g. Let m be (4/g)/((-30)/35). Which is bigger: -2 or m?
m
Let i = -4 - -7. Suppose -i*k - 18 = -5*k. Which is smaller: k or 10?
k
Let i be (-21)/(-6)*2/26. Let x = i - -3/13. Which is bigger: x or 1/4?
x
Suppose 7*s = 12*s - 5. Which is smaller: 1/3 or s?
1/3
Suppose -4 = -z - 1. Suppose 4*y - h - 4 - 8 = 0, 0 = -4*h. Suppose 4*i = -y*g + i + z, g + 2*i = 6. Is g equal to -3?
False
Let d be (-5 - (-375)/36)*-2. Is -10 at least d?
True
Suppose 4*i - 23 = 9. Let b = 10 - i. Is b greater than 3?
False
Let y = -9 + 30. Suppose -3*n - 3*o - 2*o = -29, -3*o + y = 3*n. Let j = -3 + n. Does 2/3 = j?
False
Suppose 4*q = -q + 105. Suppose -5*y + q = 6. Let b = y - 2. Is 1 not equal to b?
False
Let f = -4 + 4. Let m be 2/(-7)*(-1 - f). Is 8 at least as big as m?
True
Let b(n) = -n**3 - 6*n**2 + 7*n + 1. Let s = -11 + 19. Suppose s*j + 35 = 3*j. Let v be b(j). Is v less than -1?
False
Let x be 27/6 - 2/4. Let n be x/18 - (-48)/27. Suppose 0 + n = -2*k. Is 1/3 not equal to k?
True
Let p = -1419/4 + 357. Suppose 0 = k - 3*l + 10, 1 - 11 = -k - 2*l. Which is bigger: k or p?
p
Let l = 89 - 82. Which is smaller: -2 or l?
-2
Let b = 22 - 21. Which is smaller: 3/2 or b?
b
Suppose 2 = 5*c + 7. Is -10/7 smaller than c?
True
Let j = 0 - 4. Which is greater: -9/2 or j?
j
Let l(s) = s**2 + 6*s + 6. Let q be l(-4). Let r be (-1 - q)*(1 + -4). Let m = r + 7. Which is smaller: 3 or m?
3
Suppose 3*z - 107 = -b, 0*z - 5*b = -z + 9. Which is smaller: z or 32?
32
Suppose -4*u - 20 = -8. Let b = -29.2 - -27. Let o = b + 1.2. Is o bigger than u?
True
Let a = 55 + -31. Which is smaller: 22 or a?
22
Let x = 3 + -5. Let i = 151 - 152. Which is bigger: x or i?
i
Let s be (0 - -1)/(11*6/(-12)). Let w = 0.1 + -1.1. Which is smaller: s or w?
w
Let g = -2 - -0.5. Let b = 1 + g. Let j = b + 0.4. Is 0.1 at most as big as j?
False
Let f(z) = z**2 + z. Let w be f(-1). Suppose -2*i + 4*b - 16 = w, -i + 2 = b - 2. Is i greater than 2?
False
Let m = 3 - 6. Suppose 0 = 10*q - 7*q. Let s = -3/2 + q. Is m > s?
False
Let w be 2/12 + 7/(-6). Let h be -1 + (-3)/6*w. Which is greater: h or 0.02?
0.02
Let a be (-2 - 0 - -2)/1. Suppose 0 = -a*i + 2*i - 6. Suppose 6 = -i*j + j. Is j != -3?
False
Let z = -478/11 - -45. Do z and 2 have the same value?
False
Let h = -7.1 + 7. Let c be (-2)/2 + 3828/(-27). Let z = c + 143. Is z > h?
True
Let y be 3/(-72)*(-1 + 2). Do -1 and y have the same value?
False
Let v be 2/(-8) - (-2)/(-40). Let w = 0 + 1. Is v not equal to w?
True
Suppose -4*n + 3 + 5 = 0. Let j(t) = t + 4. Let o be j(4). Let g 