= 7 + g. Let o(l) = 3*l. Let z be o(-2). Is u >= z?
False
Let h be (-34)/(-8) + 7/(-28). Suppose 0 = 4*b - h*g + 108 - 320, -5*g + 203 = 4*b. Which is smaller: b or 53?
b
Let v = 293/357 + -16/21. Which is greater: 1 or v?
1
Let r = -579 - -573. Which is bigger: r or -3?
-3
Suppose 2*d - 10 = -5*i, -d + 5*i + 4 = 29. Suppose -2*z + 3*z - 9 = 0. Suppose -4*p - z = 11, 0 = 2*l - 2*p + 4. Which is bigger: l or d?
d
Let f be 315/(-6) + -3 + 1/2. Let i = f + 1097/20. Which is smaller: i or 1?
i
Suppose -21*b = -18*b - 3. Let w be b + (-1 - 4) + 7. Let t be 2 - 1 - (1 - 2). Is t at least w?
False
Suppose 3*h = 10 + 17. Let o be (12/(-9))/(6/h). Let z be o/1 - (-288)/146. Is z <= -1?
False
Let m(z) = -z - 9. Let v(s) = -s**2. Let t(d) = d**3 - 8*d**2 + 7*d + 3. Let k be t(7). Let b be v(k). Let x be m(b). Is x <= 2/33?
True
Let z be (-950)/(-60) + (-2)/(-12). Let u be (12/z)/(1/((-12)/1)). Do -11 and u have the same value?
False
Let b = -36 + -1. Let p = -43 - b. Let g = -0.1 + 0.1. Which is smaller: p or g?
p
Let k(i) = 243*i - 31. Let c be k(-1). Is c bigger than -275?
True
Let r be (-10)/(-66) - 30/(-165). Which is bigger: 30/17 or r?
30/17
Let f(c) = 2*c**2 + 14. Let h be f(0). Suppose -10*x + 400 = -h*x. Is -101 smaller than x?
True
Let h(j) = -j**3 + j**2. Let b be h(0). Let k = -3 - -5. Suppose 4*t + 42 = -5*m, b*m + k*m + 4 = 0. Is t != -8?
False
Let z = -64 + 38. Let l = 313.7 - 181.8. Let k = l + -132. Is z at least k?
False
Let t(d) = d**2 - 14*d + 17. Let i be (-8 - 0)*9/(-6). Let v be t(i). Is v greater than or equal to -3?
False
Suppose -84 = -l - 4*l - 3*j, 2*j + 39 = 3*l. Suppose -f = -z, -l = -0*f + 3*f + 2*z. Which is greater: f or 3?
3
Let u = -4434/5 + 884. Which is greater: -4 or u?
u
Suppose 264 - 32 = -8*n. Is -28 at least as big as n?
True
Suppose 0 - 32 = -4*b. Which is bigger: b or 7?
b
Let h(o) = 35*o + 44. Let n be h(-1). Which is smaller: 27 or n?
n
Let o be 1 + 1 - 4/1. Let l be (-144)/20 + -3 - (17 + -25). Which is smaller: o or l?
l
Let d be (-5)/10 + 22/4. Suppose 0 = 5*i - 2*o, -d*i + 19 = 2*o - 1. Suppose i*j - 4 = -t, 4*j - 8 = 5*t - 0. Is j less than or equal to 3?
True
Let w = 0.094 - 99.094. Let h = w - -19. Which is smaller: -1 or h?
h
Suppose -100*r - 15 = -95*r. Suppose -5*w + 4*w + 2 = 0. Let y be r/6 - (-3)/w. Which is smaller: 4/15 or y?
4/15
Let j(t) = t - 10. Let c be j(11). Let a be -1*4/33*-1866. Let r = 226 - a. Is r not equal to c?
True
Suppose -5*w = 13*i - 10*i + 108, -104 = 5*w + 4*i. Which is smaller: -169/7 or w?
-169/7
Let w = 2.8 + -2.43. Let t = w + -0.47. Which is smaller: t or 16?
t
Let w be 1 + -4 - (-26)/2. Let g = w - 11. Is -0.08 at most as big as g?
False
Let o(j) be the first derivative of -1/4*j**4 - 7 - 1/2*j**2 - 7/3*j**3 - 9*j. Let d be o(-7). Is d not equal to -1?
True
Suppose -2*o = -4*o - 550. Let p be (-3 + o)/(56/60). Let q = 297 + p. Is 0 greater than q?
True
Let z be 10 - 12 - (-602)/(3/3). Which is smaller: z or 598?
598
Suppose 12*b - 1556 + 440 = 0. Is b != 93?
False
Suppose -2*r = w - 3, 5*r - w + 7 + 3 = 0. Let y = 32368/39 + -830. Which is smaller: y or r?
r
Let o be (-170)/1360*(8*-1)/(-1). Let k = -10583/37 - -286. Which is bigger: k or o?
k
Let m be (1 - 0) + 6998/(-6110). Let a = m - 2/235. Let t = -453 + 453. Is t < a?
False
Let g = 42.02 + -42.044. Let b = -37/102 + 1/34. Is g != b?
True
Let r = 1/9 + -5/9. Suppose -1 = 2*n - 2*w - 9, -4*n + 3*w = -20. Suppose -3*a - 5 + n = 0. Which is greater: a or r?
a
Let n be (2/(-3))/((-3)/(-18)). Let h be (-16)/(-6)*18/n. Let q = -7 - h. Is q less than 4?
False
Let n = -0.936 - -0.086. Let y = 0.65 + n. Which is smaller: y or 7?
y
Suppose 4*a = a. Suppose 0*h - 15 = -5*h. Suppose -h*v + 0*q - q + 8 = 0, 5*v - 16 = -3*q. Is v at most as big as a?
False
Let p = 1.81 + -5. Which is smaller: 2/5 or p?
p
Suppose 135*b - 128*b = 0. Is 0.0344 > b?
True
Let p(t) = 3*t**2 + 20*t + 7. Let r be p(-10). Is r smaller than 107?
False
Suppose 72*a - 62*a = 3390. Is 340 <= a?
False
Let f be (-1056)/10 + (1 - -1). Let r = f + 104. Let a(d) = d + 3. Let w be a(-3). Is w bigger than r?
False
Let g(t) = 2*t**2 + 57*t - 155. Let c be g(-31). Is 7/155 smaller than c?
False
Let j = 589 + -852. Is j greater than -264?
True
Let q(i) = -6*i**2 - 68*i - 11. Let c be q(-9). Is 113 less than c?
True
Suppose 6*i - 5 = 5*i. Suppose i*m + 14 = -4*z, -5*z = -26 + 6. Which is bigger: -5 or m?
-5
Let c = 35 + -40. Let a = 7 + c. Let n(j) = j - 2. Let v be n(1). Which is bigger: a or v?
a
Suppose -5*a + 14 = q, a - 5*q + 3 + 15 = 0. Let k be a/120*(-35)/(-14). Is k <= -1?
False
Let t be 14/(-12) + 5/10. Let c be (-5)/((-140)/147) + (-1)/4. Is c less than t?
False
Suppose -5*o - 4*h - 30 = 0, -o + 1 - 7 = h. Let v be o/(-15) - (-69)/15. Suppose j + 8*q - 3*q = 24, -v*j + q + 16 = 0. Is j greater than 4?
False
Suppose 0 = 4*k + 3*j - 61, 3*j = 4*k - 5*k + 13. Suppose -3*p = 2*o - 40 - 10, 4*o = 4. Is p less than or equal to k?
True
Suppose 9*n + 14 - 5 = 0. Is n < -18/17?
False
Suppose 5*j - 2*a = -49, a = -3*j - 33 + 8. Let i be (156/j)/((-10)/(-45)). Let k be 16/i*24/(-16). Which is smaller: -1 or k?
-1
Let z be 15/(-5)*(-2)/(-6) - 606. Let r = z - -27316/45. Is r != -1?
True
Suppose 2*o - 349 = 495. Is 421 less than o?
True
Let p = -1.748 - 0.252. Which is smaller: 1/4 or p?
p
Let q be (1/15)/(2/6). Suppose 0*n - 14 = -2*n + 2*a, 4*n - a - 19 = 0. Suppose -n*s + 3*j = 0, 0 = -s + 4*s + 3*j. Is s at most q?
True
Let f = -1 - -2. Let q = 8563/16 + -535. Which is smaller: f or q?
q
Let j = 6 - -3. Let l = 0.91 + -0.01. Let m = -0.1 - l. Which is bigger: j or m?
j
Let v be (3/(-4))/(-10 - 1001/(-176)). Let o(c) = c**2 - 4*c + 1. Let q be o(4). Is q at most as big as v?
False
Let b = 139 - 139.3. Which is smaller: b or 6?
b
Suppose 4615 = -9*o - 1046. Which is smaller: o or -627?
o
Suppose i = -4*s + 8, -2*s + 3*i = 48 - 38. Which is greater: 1/1045 or s?
s
Suppose -l + 219 = 3*t - 1019, 4986 = 4*l - 5*t. Let u = l + -14953/12. Let v = -7/12 - u. Is v bigger than 1?
True
Suppose 43*i = 39*i - 4. Let h = -2729 + 444825/163. Is h less than or equal to i?
False
Suppose -4 + 13 = n. Suppose -14*w + 2*w = -12. Suppose 5*k - 41 + w = 0. Is n != k?
True
Let z = 22517/355 + -317/5. Let w = 99 + -99. Which is greater: z or w?
z
Let p = -3286/5 - -656. Which is smaller: -0.37 or p?
p
Let t = -866/1245 + 12/415. Let z = 1 - 1.257. Let a = z + 0.027. Is t at least as big as a?
False
Let j(w) = -w + 15. Let v be j(12). Suppose p - c - v*c + 16 = 0, 0 = 2*p + 4*c - 28. Which is smaller: 7 or p?
p
Let c be (1 - (-513)/(-732)) + (-1)/4. Which is smaller: 0 or c?
0
Suppose 0 = -r + 3*r - 6. Suppose -51 = -3*j + 4*l, -5*j + r*j + 32 = -2*l. Which is bigger: 12 or j?
j
Let s = 33 + -113/3. Let o be 1 + -1 + (-16)/8. Let r(y) = 5*y + 4. Let p be r(o). Which is bigger: s or p?
s
Let k be 22/(-7) - (-27 - -23). Which is bigger: k or 9/2?
9/2
Let m = -0.9534 - 0.0466. Which is bigger: m or -125?
m
Let k be (-5 - 135/(-25))/(10968/180). Is k greater than 1?
False
Let d = -16.74 - -16.74. Let z be (0 - -1)/(1/(-7)). Is d at most z?
False
Let s = 1 - 12. Let x be 0/(-2)*(s - -12). Is 28 <= x?
False
Suppose -7 = -4*g - 5*t, -16*t = 2*g - 13*t - 5. Let z be 166/(-140) + 2/7. Which is bigger: z or g?
z
Let d(y) = 2*y**2 + y + 1. Let x be d(-1). Suppose -x*c - 6 = c. Which is smaller: c or -7/11?
c
Let f be 129/6*6/3. Let i be f/5 + 2/(-2). Is 9 != i?
True
Suppose -5*l + l - 20 = -4*y, -4*y + 14 = -l. Let f = 0.86 - 0.9. Which is smaller: l or f?
l
Let r be ((-1314)/660 - -2)/((-92)/(-10)). Is -1 less than r?
True
Let j(c) = -c**3 - 12*c**2 + 20*c - 7. Let r be j(-14). Let a be r/(-14)*4/33. Which is smaller: -2 or a?
-2
Suppose 0 = 4*v + 2 - 14. Suppose 7*y = v*y - 12. Is -8/3 < y?
False
Let l = 179/12 + -15. Let t(s) = s**3 + 9*s**2 - 10*s + 1. Suppose 3*k - 19 + 49 = 0. Let z be t(k). Which is smaller: z or l?
l
Suppose 0 = -74*z - 7693 + 62231. Is z bigger than 736?
True
Let j(x) = 9*x - 3*x + 19 - 8*x - x. Let t be j(8). Are t and -2 non-equal?
True
Let x be 54/10 + 12/(-30). Suppose 0 = 5*q - x - 0. Let v = 6881/11 - 625. Which is smaller: v or q?
v
Let m(i) = -4*i - 40. Let k be m(-8). Let w be (-12)/186*((-36)/k)/(-3). Which is bigger: w or 0.2?
0.2
Let g be 2 - 2 - (-1)/(-32).