1. Let h be b(2). Let t be (1 - h) + (-31 - -28). Which is greater: t or -68?
-68
Let f = -64.9 + 65. Let o = 11 + -6. Which is greater: o or f?
o
Let s = 137 - 314. Let f = -55 - s. Let h = 123 - f. Which is smaller: h or -7?
-7
Suppose 7*g - 11*g = -4*o - 1676, -2087 = 5*o + 3*g. Which is smaller: o or 5?
o
Suppose -s = -107*h + 102*h + 173, -3*h - 697 = 5*s. Is -22 bigger than s?
True
Let m(t) be the second derivative of -4*t**3/3 - 11*t**2 + 2*t + 17. Let d be m(-1). Which is bigger: d or -7?
-7
Let p = -1/7411 + -7406/37055. Is 83 smaller than p?
False
Suppose 13*a - 6*a = 5*b - 5, 2 = 3*a + 2*b. Are 136/223 and a non-equal?
True
Let a = 92/657 + -74491/11169. Is a bigger than -8?
True
Suppose -2*k - 3*w = -5 - 11, -k + 7 = w. Suppose 3*v - 16 = -l, 20 = 4*v - k*l - 14. Suppose -v = 2*j - 4. Which is smaller: j or 2/105?
j
Let m = 3.02 - 3. Suppose -114*z = -2*q - 111*z - 15, 4*q + 40 = -4*z. Is q < m?
True
Let f be -1*(0 + 0 - -2). Let y(n) = 4*n**2 - 3*n - 2. Let w be y(f). Let o be (-63)/60 + 5/w. Is 1/3 smaller than o?
False
Suppose -8216*k = -8219*k + 1830. Is 1826/3 < k?
True
Suppose -2*q + 0*q = -10. Suppose l + 216 = q*l. Suppose -4*g - 4*p + 29 = -7, 5*g = 4*p + l. Which is bigger: -0.1 or g?
g
Let t = -83 + 42. Let z be (132/20)/(291/(-1940)). Is t >= z?
True
Suppose -306*t + 104 = -302*t. Suppose -23*b - t = -10*b. Is b at most -184?
False
Suppose -8*j - 2*y = -5*j + 4, 2*j + y = -1. Let v be -20 + j*(-7 - -5). Which is smaller: -122/5 or v?
-122/5
Let o be (-5121)/14 + 68/238. Let k = o + 379. Let h be ((-2)/3)/((-4)/78). Which is bigger: h or k?
k
Let v = -1124 + 1111. Which is smaller: v or -381/32?
v
Let m be (-1764)/70 + 25 + (-8)/10. Which is smaller: 10/881 or m?
m
Suppose -4*r - 4*o = 204, -1046*o - 258 = 4*r - 1051*o. Is r less than or equal to -807/14?
False
Let s(q) = -80*q + 10307. Let z be s(112). Which is bigger: 4039/3 or z?
z
Let o be 1/(-5) - (9 + (-401)/5). Suppose 14*s - o = -239. Suppose 3*y = 5*f - 42, y - 3*f + 18 = -0*f. Is y smaller than s?
False
Let l(o) = 2*o - 3. Let g be (-5)/3*(-6)/10. Let v be l(g). Let u = -375 - -6373/17. Is u at least as big as v?
True
Let z = 8584 + -60082/7. Which is bigger: -0.622 or z?
z
Let g = -0.15 + -0.64. Let m = g - -0.89. Let z be (3/7)/(-5 - (-55)/7). Is m at most as big as z?
True
Let a be 58513/63 - 5 - (-2)/9. Let t = -884 + a. Is 37 smaller than t?
True
Suppose 272*j + 4*g + 1300 = 277*j, 0 = 4*j + 2*g - 1014. Is j greater than 259?
False
Suppose -3*b - 4 = -1. Suppose -12*q + 416 = -4*q. Let v be (-13)/q*(-16)/(-9). Which is bigger: v or b?
v
Suppose -4*t + a = 5, 9*t - 6*t = 4*a + 6. Are -6/143 and t nonequal?
True
Let j = 21800 - 784735/36. Let d = j + -11549/6516. Are -1 and d unequal?
True
Let i be 4 + (-75)/20 + (-9)/(-108). Do -0.584 and i have the same value?
False
Let d = -7484 - -2298. Does d = -5186?
True
Suppose 0 = 4*g - 5*k + 12, 4*g + 4 = 104*k - 101*k. Is 39/16 >= g?
True
Let q = 371806 - 371806.09. Suppose -w - 2*w + 87 = 0. Let k = w + -146/5. Is k smaller than q?
True
Let h = 4520 - 4552. Is h not equal to -29?
True
Let c = -83.75 + 83.95. Is c bigger than -1089?
True
Let v = -1/44 + 93/220. Let b be (-4)/6 - (-19570)/1140. Which is smaller: b or v?
v
Suppose -193*m - 8*m - 92 = 109. Is -64 less than m?
True
Suppose 7032 - 28566 = -270*l - 21*l. Let j be 1/(-4) + 329/4. Let v = j - l. Which is greater: -3 or v?
v
Let q = -23468 - -23456. Suppose 5*n - 2*n + 45 = 0. Is n bigger than q?
False
Let q be 0/4 - (704/(-252))/8. Let s = -1154/2583 + q. Which is greater: s or -1?
s
Suppose 4 = r, -5*c + r + 56 = -3*c. Suppose -31*o = -c*o - 3. Is o smaller than 7/3?
False
Suppose -5*g - 845 = -78*d + 79*d, 3*d + 325 = -2*g. Is g <= -1365/8?
False
Let y = 47.7 - 30.7. Let d = y + -15. Which is smaller: d or 5/32?
5/32
Let v = 30797 - 30803. Let x(z) = -4 + z - 2 + 2. Let m be x(-3). Which is smaller: m or v?
m
Let l = -41921 + 41920. Let p be (-1)/(8 - (-1 - -3)). Is p <= l?
False
Suppose 4*p + 1 = 4*x - 7, -5*p = -x + 14. Let w be ((-5)/(-4))/((-2679)/(-408)). Let k = w - 4/47. Is k at least x?
True
Let t be 0/(-1) + (2 - -1). Let d(q) = q**2 - 8*q - 46. Let l be d(12). Suppose -10 = -2*w + t*o, -2*w + o + l = -0. Which is greater: -3 or w?
w
Let j be 8364/41 + -1 + 8 + 1. Is j < 230?
True
Let l = -1130474/27 - -41857. Which is bigger: l or -12?
-12
Let x(i) = 3*i**2 - 28*i - 25. Let t be x(20). Let n = t + -1765. Let m = 3517/3 + n. Is 23 <= m?
False
Suppose -114*q = 82*q - 222*q - 1820. Is q bigger than -768/11?
False
Suppose -14 = -5*k - 9. Let s be 4893/(-630) - k/(-6). Which is smaller: s or -7?
s
Let j = -739.4 - -739.59. Which is greater: 72 or j?
72
Let f(r) = 10*r + 3. Let u be f(5). Suppose 54*s = u*s - 359. Which is smaller: -360 or s?
-360
Suppose -2*h + 14 = 140*q - 144*q, h + 21 = -5*q. Is h less than 16/75?
True
Suppose -5*w - 3*l - 80 = -7*l, -2*l = -2*w - 34. Suppose -g + 6*g - 5*c - 10 = 0, 0 = -2*g - c - 5. Let y be 15/g - (-1 - 3/1). Is w > y?
False
Suppose q = -3*q + 192. Suppose 0 = 2*k - 26 - q. Suppose -2*i + k - 15 = 0. Is 9 > i?
False
Let t = -7274 + 9064. Which is smaller: t or 0.2?
0.2
Let h be (-1 - -19)*(-4)/6. Let b be (2/(-9808))/(((-35)/(-7))/263430). Let x = b - 4/613. Are x and h nonequal?
True
Let c(g) = -g**2 + 59*g - 737. Let x be c(39). Do x and -36 have different values?
True
Let c = -282 + 327. Let t = c - 45.115. Is 0.2 >= t?
True
Let l = 5025 - 5014. Which is smaller: l or 311/31?
311/31
Suppose -18*d + 1297 = 181. Suppose -d*c = -80*c - 342. Suppose -4*y - y - 70 = 5*r, 5*y = 2*r - 105. Is y at least c?
True
Let k = -82.8603 + 82.55. Which is greater: k or -1?
k
Suppose 0 = -2*a - 13 - 51. Let h = 112675 - 112707. Is a at least as big as h?
True
Suppose -30355*w - 307860 = -30334*w. Is w less than or equal to -14662?
False
Let o be 3/(((-6)/3073)/(52/(-91))). Let x = 10541/12 - o. Which is greater: x or 0?
x
Let d = -18138 - -10821. Which is greater: -7319 or d?
d
Let v be (1/(-14))/(63/252). Let w = 8.1 - 5. Let x = w - 0.1. Is v < x?
True
Let s(d) = -12 - 10*d + d**2 - d - 2*d**2. Let y(v) = -4*v - 81. Let q be y(-17). Let a be s(q). Is -39 <= a?
True
Suppose 2*t + 5*o - 249 = 0, 2*t - o - 219 = -0*o. Let q = 58/495 + 55217/495. Which is smaller: q or t?
q
Let t = 0.79 - 4.83. Let z = 4 + t. Let l(g) = -16*g + 177. Let o be l(11). Is o greater than z?
True
Let s = 36 - -81. Let w = -129 + s. Is w greater than -12?
False
Let n be 6/(1/4*-3). Let j be 1478/n + -2 - (-52)/(-208). Is j less than -185?
True
Suppose 27*b - 20 = 7. Let r be -1 + (-226)/(-10) - (0 - b). Which is smaller: 23 or r?
r
Let v be 699200/(-7479692) + 2/22. Let h be (-1)/(-3)*(1 + 2). Which is smaller: v or h?
v
Let n = 2.3205 - 2466.3205. Does -6 = n?
False
Let p = 460 - 252. Let z = p - 182. Is 23 less than or equal to z?
True
Let b be (16 + 3171432/(-198235))*((-9)/4 + 2). Is b at most 1?
True
Let q be 6/(-6) + 132/3. Let o be 3 - (q/(-1) - 1). Is 47 != o?
False
Let a = -391.9 + 576. Let x = -184 + a. Which is greater: 6.8 or x?
6.8
Let t be 130/(-39)*(-18816)/(-200)*10/4. Which is smaller: -785 or t?
-785
Let h be -3 - 1 - (8 - (-34 - -2)). Which is greater: h or -357/8?
h
Let q(k) = k**2 + 9*k + 2. Let r be q(0). Suppose 0 = l + 7 + r. Is -8 less than l?
False
Suppose 2*g - 410 = -3*n, -n - 3*n + 5*g + 585 = 0. Let b be 9 + -6*7/n. Is b not equal to 8?
True
Suppose 4*y - 212 = -32. Let c be 40/(-180) - (-1248)/27. Is c smaller than y?
False
Suppose -2*r + 5*d - 51 = -6*r, -4*r = 3*d - 45. Suppose -16 = i - 14, 5*k - 2*i = r. Let f = -1 + -1. Which is bigger: f or k?
k
Let g = -4647 - -153349/33. Does -14 = g?
False
Let k(j) = 2*j - 22. Suppose -22 = -3*n + n. Let y be k(n). Let d be y/(0 - (2 - 1)). Is d > -5?
True
Let m = 11 - -493. Which is bigger: -2 or m?
m
Suppose 4*v + 38 - 54 = 0. Suppose -v = 4*f - 8*f. Which is smaller: 1/414 or f?
1/414
Let j = -16699 - -16918. Is j at most as big as 211?
False
Let k = -51 - -25. Let b = -3768 - -3741. Which is greater: k or b?
k
Let i = 1697/31 + -53479/465. Which is greater: i or -60?
-60
Let o = 42.1 + -46.8. Let r = 4.66 + o. Which is greater: r or -0.15?
r
Let b = -595.1475 + 0.1475. Let j = 594.91 + b. Which is smaller: j or -2/7?
-2/7
Suppose -134*u = -136*u + 8, 4*y - 3152 = 3*u.