maller: 1.52 or i?
i
Let q = -43 - -42. Let m = -720 + 68403/95. Do m and q have different values?
True
Let m = -1121 - -1123. Let v = -4.7 - 6.3. Is m <= v?
False
Let m be ((-9)/6)/((-6)/(-104)). Let o be ((-7)/(-3))/((2 - -4)/(-828)). Let r = o - -323. Is m equal to r?
False
Suppose -2*m - 5*i + 848 = 277, 3*i = -4*m + 1135. Let j = -0.7653 + 0.6653. Which is smaller: m or j?
j
Let m = -7008/409 - 42377222/3681. Let t = m - -22835981/1980. Let o = -1/55 + t. Which is bigger: 4 or o?
4
Let m be 10 + (-5 + -4)/3. Let a(i) = -239*i - m - 3 + 241*i - 1. Let p be a(5). Which is smaller: p or 1/26?
p
Let s be 158/(-16)*-2*64/(-16). Let x = s - -90. Which is smaller: x or 124/13?
124/13
Suppose 13*f + 45 = 136. Let q(x) = -228*x**2 + 2*x + 2. Let n be q(2). Let h = n - -4567/5. Which is smaller: h or f?
f
Let k = 21618 - 23438. Is -1818 > k?
True
Let j = -7864 - -7864.0821. Is j greater than 1?
False
Let m = 5452 + -5082. Is m equal to 368?
False
Let f = 1 + -3. Let r be ((-3)/12)/(1156/2992). Which is smaller: f or r?
f
Let m = 0.397 + -0.467. Which is bigger: m or 0.7?
0.7
Let l(c) = -c**3 - 16*c**2 + 54*c - 43. Let m be l(-19). Let n be (-4)/m*(-168)/5184. Which is smaller: 0 or n?
0
Let n = -518 - -509. Let b = 15.6 + -4.4. Let k = n + b. Is 1/2 > k?
False
Let x = -6 + 6. Let h = 274 + -273.94. Is x < h?
True
Let a be (14/(-6) - 3)/(2/(-3)). Suppose 0 = -10*v + a*v - 168. Let i = 74 + v. Is i less than or equal to -12?
False
Let y = -2490 + 2348. Which is bigger: y or -1271/9?
-1271/9
Let o = 6/19661 - -19631/98305. Let p = -4.6 + 4. Is p at least o?
False
Let m(i) = -11*i**2 + i. Let h be m(1). Let r = -2974 - -2972. Let k be -1 + 0 - r - h. Is 13 at least k?
True
Let c = 4786 + -4793.01. Is 1 >= c?
True
Let b(k) = -2*k**2 - 6*k - 6. Let y be b(-3). Let n be -5 + y + 2 + 1. Which is smaller: n or -13?
-13
Let f = 67 + -68. Let a be 5*f*24/(-30). Is 5 >= a?
True
Suppose 2*f - 5*g = 118, 0 = 2*f - 3*g - g - 120. Let l be 8/(f/(-84))*1*2. Let s be -27 + 20/5 - -1. Which is smaller: s or l?
s
Let i = 16616 - 16611. Let c = 3599/770 + -9/70. Which is bigger: c or i?
i
Suppose k + 6 + 1 = -5*p, 3*p + 21 = 5*k. Let f(g) be the third derivative of -g**5/60 + g**4/24 + g**3 - 29*g**2 + g. Let x be f(p). Which is bigger: x or 25?
25
Suppose 97*s + 90168 = -53683. Which is smaller: s or -1485?
-1485
Suppose -51 = -23*b + 87. Let p be 222/(-407)*(-44)/b. Which is bigger: 15/4 or p?
p
Suppose 1665 = -2*g + 3*n - 0*n, -4*g = -5*n + 3325. Let d be (-24)/(-54) + g/(-27). Which is smaller: d or 1?
1
Let i(z) = 52*z**2 + 2*z. Let a be i(-1). Let x be 15*6*5/a. Let k = -29 + x. Is -20 at most as big as k?
True
Let l be 2/(-16) + (-360258)/23280. Suppose 220 = -5*s - 0*s. Let i = 29 + s. Is i less than or equal to l?
False
Let u(v) = -v**3 + 6*v**2 + 8*v + 12. Let m(y) = -y**3 + 5*y**2 + 7*y + 11. Let n(p) = -4*m(p) + 3*u(p). Let s be n(4). Is 6 <= s?
True
Suppose 6 = -89*w + 87*w. Let y be 1265/1848 + w/18*4. Are y and -1 non-equal?
True
Suppose -2*b = -3*j - 8036, 3*j + 2*b + 5041 = -3003. Which is smaller: -2681 or j?
-2681
Let q be ((-4)/25)/((-24)/(-4720)). Let p = 94/3 + q. Let y be (3 - 6 - -4)*0. Is y != p?
True
Suppose 0 = -2*w + 2*n - 3*n + 200, 4 = 2*n. Let g = -218895 - -218998. Which is smaller: w or g?
w
Suppose 59*f - 58*f + 5*u + 510 = 0, -f - 3*u = 516. Let r be (120/f)/(2/5). Is -4 > r?
False
Suppose 1034*d + 570 = 1037*d. Is d > 191?
False
Let g = -12277/72150 - -42/12025. Let w(v) = v - 7. Let s(b) = b - 7. Let t(a) = 5*s(a) - 6*w(a). Let p be t(7). Is p smaller than g?
False
Let m be (45/2)/((-51)/6). Let f(p) = p**3 - 54*p**2 + 330*p - 49. Let j be f(47). Is m at most as big as j?
True
Let g be 13/((-11583)/(-59841)) + 5 - 2/(-18). Is 72 equal to g?
False
Let c(z) = -1 - 37*z - 110*z - 3. Let h be c(1). Let m = -91 - h. Is m greater than or equal to 59?
True
Let w = -40.03 + 39.03. Is w less than or equal to 1644?
True
Let c be 1 + (-2 - (-2 - 11)). Let v(y) = 8*y**2 + 11*y + 11. Let i be v(-12). Let g = i - 5102/5. Which is smaller: c or g?
g
Let h be ((-3)/(-19))/(33/(-22)). Let g = -242.92 + 243. Which is smaller: g or h?
h
Suppose 5*m + 2*t = -t + 116, -46 = -2*m - t. Let c(s) = -s**3 - 2*s**2 + 7*s - 6. Let q be c(-7). Let o be 172/q + m/(-209). Which is greater: o or 2?
2
Let k = -134448686601/6895 - -19499447. Let d be (-2)/39 - 54668/(-1329159). Let x = d + k. Are -1 and x non-equal?
True
Let o = 0.3 - -2.7. Let c = -3.2 + o. Let f = -0.0942 - 15.9058. Which is smaller: f or c?
f
Suppose -61*h + 14*h = -31*h + 104336. Is -6520 at least h?
True
Let c(x) = -19*x - 57. Let b be (0 - (-5 + 8))*1/1. Let v be c(b). Let t be 19/(-3) + 1/3. Which is bigger: v or t?
v
Let k = 0.00978 + 229.99022. Which is bigger: k or 0.8?
k
Let r be (-14)/28*(2 + 6). Let j be (-96)/(-44) + r/22. Let g = 1608/7 - 229. Is j greater than g?
True
Let f(z) = z**2 + 3*z - 22. Let h be f(-9). Suppose 29*o + 18 = h*o. Let j be o/(-4) - (-75)/(-10). Is -11 < j?
True
Let a = 1 + -4. Suppose -4*t = v + 43, 5*v + 55 = 13*t - 17*t. Let g be -1*15/t*-2. Do a and g have the same value?
True
Let r = -20856/133 - -1815/19. Is -60 >= r?
True
Suppose -3*f + 2*s + 13 = 0, 3*s - 2*s + 3 = f. Suppose 0 = 2*z + f*n - 3*n - 148, n = -4*z + 310. Let g = -54 + z. Is 25 smaller than g?
False
Let h = 178.6 + -164. Let n = 3.6 - h. Let a = 11 - 43/4. Is n less than or equal to a?
True
Let v(c) = -c**2 + 430*c. Let f be v(0). Is -4/12477 less than f?
True
Let s = 3231/14 + -33143/140. Which is greater: s or -6?
s
Let g be -2 + 7/(-35)*-5. Which is greater: g or -334?
g
Let d = 9.2 - -110.8. Let c = d - 77. Let w = c - 43.1. Is w > 0?
False
Let z be ((-2)/(2 - -2))/((-2160)/594). Which is greater: 0 or z?
z
Let q = -8.64 + 8.54. Let b = 0.03 + -0.23. Let y = b - q. Which is greater: -3/4 or y?
y
Let i = 1.797 + 0.203. Which is bigger: i or -742?
i
Let t = -5950 - -6329. Which is smaller: t or 3/5?
3/5
Let m = -530.9 + 425. Let o = -105.702 - 0.298. Let n = o - m. Is -30 > n?
False
Let d be ((-1610)/4 - 1)*(-68)/1122. Are d and 23 equal?
False
Suppose -5*n - 167 + 189 = -2*d, -3*d + 5*n - 23 = 0. Is -4/1997 greater than or equal to d?
True
Let i(d) be the first derivative of d**2 - 9*d + 12. Let l be i(5). Is l less than 9?
True
Let s be (10/(10/(-3)))/((-2)/(-130)). Let c = 190 + s. Is -57/10 less than c?
True
Let s = -100 - -261. Let v = 159 - s. Let a be (1/(-10))/((-4)/(-30)). Is a greater than v?
True
Suppose 2*r - 17 = o, 129*o - 127*o + 4*r + 10 = 0. Is o greater than -109.8?
True
Suppose -22*d - 8*d = 900. Let h be -36 + 3 - (5 - 4). Which is greater: d or h?
d
Let t be -4 + (1 - 1116/(-285)). Let q = t - 6/19. Which is smaller: 3 or q?
q
Let j be ((-2 - (4 - 6)) + 0)/(-3). Let p be (-179)/(j/5 + 1). Is p <= -178?
True
Let t be -2 - 131454/(4 + 14). Which is bigger: -7304 or t?
-7304
Suppose -g - 38 = t + t, g - t = -50. Let o = -41 - g. Let a = 4 - o. Is a > 1/24?
False
Suppose 2*c - c + 1 = 0. Let o be -2*(-11082)/(-40) - (1 + -1). Let m = o + 554. Which is smaller: m or c?
c
Let u = 1.92 - 0.92. Let l be 6 - 9/(-2)*288/(-207). Which is smaller: l or u?
l
Suppose 25 - 919 = -6*h. Suppose 0 = 3*x - h + 32. Let m = -35 + x. Is 4 < m?
False
Let c be 4 - (-870)/(-216) - (11/9 + -1). Which is greater: c or -0.3459?
c
Let c be 6 + 6/60 + 93049/(-14740). Which is smaller: -1 or c?
-1
Let l be (-5932)/742 + 3/(5 + 222/(-48)). Which is smaller: -3/2 or l?
-3/2
Suppose l = 5*u + 45, -3*l + 32 = -2*u - 38. Does l = 9?
False
Suppose -6*p + 5*p = 32. Let b be (2/p + 0)/(6/(-36)). Let q = -2 - -1. Is q smaller than b?
True
Let z = 98.64 - 104. Let p = 0.64 - z. Which is smaller: p or -0.4?
-0.4
Suppose 7 - 22 = -3*n. Let k be 18/14 - 10*n/175. Is -3 smaller than k?
True
Let f be ((-1323)/(-3675))/((-12)/10). Let l = -0.35 + -0.05. Is l at most as big as f?
True
Let l be ((2695/28)/11)/5 + 59925/100. Let r(z) = 17*z**2 + z - 5. Let d be r(-6). Is d <= l?
True
Let u(i) = -184*i**3 + i. Let t be u(-2). Let d be t/24 + (-1)/4. Let o = 7603 - 7541. Which is bigger: d or o?
o
Suppose 4*n - 14*n = 1340. Let z = -7636/57 - n. Which is bigger: z or 2/3?
2/3
Let o = -1.7652 + -0.2348. Let x = -2.8 - -5.8. Which is bigger: o or x?
x
Let s be (1587430/(-40))/(-13) - 7/(84/9). Which is greater: s or 1