
h
Suppose 7*a = 3*a - 128. Let c = -1550968 + 1550931. Which is greater: a or c?
a
Let u be ((-7)/2 - 273784/224)*4. Is u less than -4902?
True
Suppose 47086 = -5*g + 2*y, 7*y - 4*y + 37678 = -4*g. Is g less than or equal to -9418?
True
Let k be (-1)/(-4 - (-37)/9) - -3. Let b be 27/k*(-36)/(-135). Let g = 7 + -7. Do b and g have the same value?
False
Let n = -304 - -300. Let q be 3/5 - 259/140*n. Let r = -1.1 + 4.1. Is r bigger than q?
False
Let g = 4445 + -4451. Do -16 and g have different values?
True
Let x(c) = c**2 + 6*c - 16. Let r be x(3). Let m be 6 + -8 + -8 + r. Which is greater: m or 8/63?
m
Let z = -27596 + 26188. Are -1409 and z unequal?
True
Suppose -31*c - 140 = 97*c + 12*c. Is -4/7807 equal to c?
False
Let u = 161 - 89. Let k be (-74)/(-14) - (2 - u/42). Suppose -1 = -w + k. Is w less than 4?
False
Let p be (-346)/(-2) + 6*5/(-15). Which is smaller: 105 or p?
105
Let x be ((-13)/(-5))/(24/(-5)). Let u = 246590 + -246590. Do u and x have different values?
True
Let d = 20060 - 23013. Is -2954 < d?
True
Let v be 10/14 + (-12)/(-42). Let b(j) = -26*j**2 - 5*j + 2. Let r be b(v). Is r <= 1/7?
True
Suppose 3*x = 2*k - 1476, 2*x = -22 + 30. Which is smaller: 3722/5 or k?
k
Let f be (-4)/78*7*(-1155)/(-55). Is f bigger than -7?
False
Let c(f) = -f**2 + 12*f + 14. Suppose -2 - 11 = -a. Let p be c(a). Which is smaller: p or 4/27?
4/27
Suppose 0 = 84*d - 86*d - 3*q - 1463, -3*d - 4*q - 2191 = 0. Is d at least as big as -0.1?
False
Let j be 52/8892*-57 + 0 + 0. Let h = 162 + -297. Let r = -47 - h. Is j at most r?
True
Let n = -1543/5 - -313. Suppose 2*x - 4*m - 38 = 0, 0*m = -5*m - 5. Suppose 16*y + x = 81. Is n bigger than y?
True
Suppose p - 4 = 0, -32*p + 30*p = -3*i + 1. Suppose 2*g - i*m = -2, -8 = -4*g + 4*m - m. Does 15 = g?
False
Let h(w) = -62*w**3 + 3*w**2 - 72*w - 74. Let n be h(-1). Which is bigger: 61 or n?
n
Let w = 42721 - 42716. Let k = -2 - -1.5. Which is greater: k or w?
w
Let p = -45 - 40. Suppose 2*h = -7*j - 566, -2*j - 1892*h + 1893*h = 179. Which is smaller: p or j?
p
Let x be (-312)/(-91) - (-10)/(-7). Which is smaller: 3 or x?
x
Let c(m) = m**2 - 6*m + 13. Let r be c(4). Let x be r - (-3 + 6) - 28. Which is smaller: x or -27?
-27
Suppose -36827 = -5*f - 4*i + 4050, -5*f - 2*i + 40891 = 0. Which is smaller: f or 8180?
8180
Let p(o) = -2*o + 6. Let i(j) = -1. Let v(m) = 2*i(m) + p(m). Let t be v(5). Suppose 47*l = 1078 - 1501. Is t at most l?
False
Let x(u) = 3*u**3 - 34*u**2 - 24*u + 2. Let a be x(12). Let b(s) = -5*s**2 + 3*s + 6. Let t be b(-6). Let n = 1551/8 + t. Is n >= a?
False
Let i be (-1)/4 - (-1042)/8. Let l(u) = 819*u + 14873. Let y be l(-18). Is i != y?
True
Let m be (629*1)/(12 - (-221)/(-17)). Does -631 = m?
False
Let t be ((-48)/(-15))/(2/30). Let a = t + -43. Suppose -10*b = -a*b + 35. Which is smaller: -9 or b?
-9
Let f(h) = 4*h - 3 + h**2 + 4*h + 9. Suppose -35*z + 37*z + 3*m = -17, 15 = -2*z - m. Let w be f(z). Is w bigger than -4?
True
Let f be (-3 - 208/(-6))*(-15 + 18). Which is smaller: f or -7?
-7
Suppose -3*t - 9*t = -2796. Let q = t + -306. Is q greater than -70?
False
Let g = -4/1003 - -1015/3009. Let c = 0.08 - -0.093. Which is smaller: c or g?
c
Let i(d) = -2338*d + 7778. Let v be i(3). Which is bigger: v or 792?
792
Suppose -12*o = -1144 + 172. Suppose 9 = 18*w + o. Which is smaller: -33/13 or w?
w
Suppose 4*h - x + 7 = 3*h, 11 = -h + 3*x. Let y be (-30)/12 - (-4)/(-3 + h). Is y at least -54?
True
Let y be 1 + 0 + (-13)/(23205/(-161436)). Let u = 640/7 - y. Is 0 >= u?
True
Let z(g) = -46*g**2 + 4*g - 11. Let y be z(2). Which is smaller: -182 or y?
y
Let x = -289 + 288.698. Let z = x - 0.698. Is -0.4 at least z?
True
Let s = 11 - 66. Let m be (-5)/(-7)*2/s. Let x(v) = -v**2 - 207*v + 1497. Let c be x(7). Is c bigger than m?
False
Let m = 42.07 + -42. Let q = 1043.2 + -1043. Which is bigger: q or m?
q
Let w = -3513.2 + 3177. Let i = -342 - w. Which is smaller: i or -1?
i
Let j(y) = -y**3 + y**2 + 5*y - 5. Let w be j(2). Let g be 10/(-23)*(-5)/(w - 56). Let x = g - -3/23. Is 1 at least as big as x?
True
Let m(w) = -205*w + 1647. Let u be m(8). Is u < 287/44?
False
Let y be (-8)/(-34) + (-585)/(-765). Let h(n) = -16*n - 8. Let f be h(-7). Which is greater: y or f?
f
Let z(m) = m + 5. Let g be z(-4). Let c be 1/((-2)/g)*4. Let k = -683121 - -2732483/4. Is c not equal to k?
True
Suppose 2*o + f + 92 = 0, -o = -4*f + 18 + 37. Let b be 18/63 - o/7. Let c be (3/(-9))/(b/105). Do c and 1 have different values?
True
Let q = 36/229 - 11503/62975. Is 0 <= q?
False
Let t = -158877844563 + 154905916939798/975. Let s = t - 18965. Which is smaller: 0 or s?
s
Let b(x) = 0*x**2 + 0*x**2 - x + 1 + x**2. Let p be b(1). Let i = -481210.04 - -481210. Which is smaller: i or p?
i
Let v = -145 - -159. Suppose v*t - 28*t - 7084 = 0. Is t bigger than -1?
False
Let j(c) = -2*c**2 - 4*c + 7. Let m be j(-3). Let q = 4 - 6. Let g be (-1*3/(-3))/(m/q). Which is bigger: g or -7/4?
-7/4
Let i = -336.4247 - 0.5753. Which is bigger: -1.8 or i?
-1.8
Let a = 7/227 - 716/1135. Which is smaller: a or -375?
-375
Let u = -6613 + 6613. Let m be 4/(-12)*4/(-214). Is u at most m?
True
Let a be 1*(1 - -6)*(6 - 9). Let u = -18 - a. Suppose 2*m + 8 = -2*x, 44 = -4*x - 0*m + u*m. Are -6 and x equal?
False
Suppose -3*g - 25 + 34 = 0. Suppose g*m - 19 = -4*x, 2*m + 4*x = m + 17. Let p = 17/66 - 1/11. Which is smaller: m or p?
p
Suppose 2*p - 3*q + 5 = 0, 4*q - 22 = -2. Suppose 4*w - p*w + 17 = -5*t, 3*w - 51 = -2*t. Suppose -4*o - 3 = w. Which is bigger: -0.4 or o?
-0.4
Let m = 195 - 59. Let h = -186 + m. Which is smaller: 2 or h?
h
Let c = -5521.01 + 5521. Which is smaller: c or -0.185?
-0.185
Let j be (4/((-12)/(-1)))/((-2)/(-6162)). Let u = -38003/37 + j. Which is smaller: 0 or u?
u
Suppose 2*n + 3*n + 15 = r, -4*r - 2*n - 6 = 0. Suppose r*j - u = j + 1, 4*j = -u - 10. Is j at most -7?
False
Let q = -1873 + 2079. Is q < 203?
False
Let c = -26 - -29. Suppose -4*m + 16 + c = h, -17 = 2*h - 3*m. Let v = -20824/7 - -2974. Which is smaller: v or h?
h
Let d be 3 + ((-48)/(-4))/(-4). Suppose 4*f = -d*f + 3*m - 13, 0 = -5*f - 2*m + 1. Let q be 1 + -14 + 9266/738. Does f = q?
False
Let o = -194/305 + 72/305. Are o and -26.83 nonequal?
True
Suppose 665*g = 681*g + 12368. Which is greater: -769 or g?
-769
Let s be 93/(-217) - (154270/7 + 1). Let t be 1/(-8) - 2907/s. Is 0 greater than t?
False
Let b be 9 + -10 - ((-4)/3)/2. Suppose 1039 = -8*s + 351. Is s at least b?
False
Let p = 14719 + -7850. Is p < 6872?
True
Let t be (-32)/(-56) + (-12408)/(-42) + -4. Are 293 and t nonequal?
True
Let y = 40621/1656 + -32/207. Is y < 24?
False
Let u be 1095/(-60) + 3/(-4). Let b = u - -22. Suppose -b*n + 44 = 17. Which is smaller: 3 or n?
3
Let n(d) = -6232*d - 16. Let y be n(-1). Let h be ((-16)/y)/((-6)/9). Which is smaller: 0 or h?
0
Let z(q) be the first derivative of 13*q**2/2 - 118*q - 193. Let b be z(-11). Are -260 and b unequal?
True
Let x(w) = w**3 - 24*w**2 + 3*w - 3. Let l be 248/24 + 13 + 2/3. Let k be x(l). Is k bigger than 68?
True
Let m = 3370 + -3397. Are -19 and m equal?
False
Suppose 2*x = 5*j - 23, j + 0*x = 5*x + 23. Suppose j*q + 4*b = 232, -59*b + 58*b + 318 = 4*q. Is q equal to 80?
True
Suppose 0 = -5*m + 5*k - 70, 76 = -4*m - 0*m - k. Let n be 1*(5 - 19) + -3. Which is greater: m or n?
n
Let f be ((-820)/(-25))/(-2) - 3. Let d = 19 + f. Let g = 3.3 + -5.3. Do d and g have the same value?
False
Let h be (-124)/(-240) + (4 - (-72)/(-16)). Let i = 43 - 42. Is h at least i?
False
Suppose 24*f + 8 = 16*f. Let y be (f - (-3 - -1))*(32 + -60). Which is smaller: y or -144/5?
-144/5
Suppose 4*z = -55 + 63. Suppose -6*q = -z*q. Let o be (-3 - q/(-2)) + 1 + 1. Which is smaller: o or 4?
o
Let l = 7563 + -7564. Let n be 1/(-3) + -8*1. Is n greater than l?
False
Let i(d) = -d**2 + 62*d - 230. Let n be i(4). Let g(j) = -3*j + 6. Let u be g(4). Let w(r) = r**3 + 7*r**2 + 5*r - 4. Let k be w(u). Is k less than n?
False
Let d be (7 - -2) + (1285/(-4855))/(4/136). Suppose 0 = -2*l - 0 + 2. Is l <= d?
False
Let y be 36/(-81) - 17121/(-38583). Which is smaller: 0 or y?
y
Let x = 722 - 720. Suppose -4*f - 303 = 4*i - 67, x*i = -4*f - 112. Is i >= -59?
False
Let k(m) = -94*m - 841. Let p be k(-9). Which is smaller: 573 or p?
p
Let f be (2 + (-64)/24)/